blob: aaf28d6c132e3970193413b02b4f277557dbc4b9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// Regression test for #62517. We used to ICE when you had an `async
// fn` with an `impl Trait` return that mentioned a `dyn Bar` with no
// explicit lifetime bound.
//
// edition:2018
// check-pass
trait Object {}
trait Alpha<Param: ?Sized> {}
async fn foo<'a>(_: &'a ()) -> impl Alpha<dyn Object> {}
impl<T> Alpha<dyn Object> for T { }
fn main() { }
|
