1 #![feature(type_alias_impl_trait)]
5 let x = wrong_generic(&y);
6 let z: i32 = x; //~ ERROR mismatched types
9 type WrongGeneric<T> = impl 'static;
10 //~^ ERROR the parameter type `T` may not live long enough
11 //~| ERROR: at least one trait must be specified
13 fn wrong_generic<T>(t: T) -> WrongGeneric<T> {