use std::convert::identity; | |
fn test<'a: 'a>(n: bool) -> impl Sized + 'a { | |
//~^ ERROR concrete type differs from previous defining opaque type use | |
let true = n else { loop {} }; | |
let _ = || { | |
let _ = identity::<&'a ()>(test(false)); | |
//~^ ERROR expected generic lifetime parameter, found `'_` | |
}; | |
loop {} | |
} | |
fn main() {} |