blob: de2afc4a1713dc09b602d9914f21ea976961c6ae [file] [log] [blame]
//@ check-pass
// Tests correct implementation of traits with super-builtin-kinds
// using a bounded type parameter.
trait Foo : Send { }
impl <T: Send> Foo for T { }
pub fn main() { }