2 impl<T> Trait<'_> for T {}
3 fn whatever() -> impl for<'a> Trait<'a> + for<'b> Trait<'b> {}
5 fn whatever2() -> impl for<'c> Fn(&'c ()) {
10 let x: u32 = whatever();
11 //~^ ERROR mismatched types
12 let x2: u32 = whatever2();
13 //~^ ERROR mismatched types