1 #![feature(existential_type)]
5 let x = wrong_generic(&y);
6 let z: i32 = x; //~ ERROR mismatched types
9 existential type WrongGeneric<T>: 'static;
10 //~^ ERROR the parameter type `T` may not live long enough
12 fn wrong_generic<T>(t: T) -> WrongGeneric<T> {