1 // Regression test for #62517. We used to ICE when you had an `async
2 // fn` with an `impl Trait` return that mentioned a `dyn Bar` with no
3 // explicit lifetime bound.
10 trait Alpha<Param: ?Sized> {}
12 async fn foo<'a>(_: &'a ()) -> impl Alpha<dyn Object> {}
14 impl<T> Alpha<dyn Object> for T { }