fn hello() -> impl use<> Sized {}
//~^ ERROR precise captures on `impl Trait` are experimental
fn main() {}