| //@ run-rustfix | |
| // Test that we do not consider associated types to be sendable without | |
| // some applicable trait bound (and we don't ICE). | |
| #![allow(dead_code)] | |
| trait Trait { | |
| type AssocType; | |
| fn dummy(&self) { } | |
| } | |
| fn bar<T:Trait+Send>() where <T as Trait>::AssocType: Send { | |
| is_send::<T::AssocType>(); //~ ERROR E0277 | |
| } | |
| fn is_send<T:Send>() { | |
| } | |
| fn main() { } |