1 #![feature(existential_type)]
6 existential type Existential: Debug;
7 fn _unused() -> Existential { String::new() }
8 //~^ ERROR: concrete type differs from previous defining existential type use
9 let null = || -> Existential { 0 };
10 println!("{:?}", null());