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