//@ 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() { } |