1 #![feature(type_alias_impl_trait)]
10 is_yay::<u32>(); //~ ERROR: the trait bound `u32: Yay` is not satisfied
11 is_debug::<u32>(); // OK
12 is_yay::<Foo>(); // OK
13 is_debug::<Foo>(); // OK
16 fn is_yay<T: Yay>() { }
17 fn is_debug<T: Debug>() { }