1 // Regression test for #69136
3 #![feature(type_alias_impl_trait)]
7 impl SomeTrait for () {}
13 impl<T> WithAssoc<T> for () {
17 type Return<A> = impl WithAssoc<A, AssocType = impl SomeTrait + 'a>;
18 //~^ ERROR use of undeclared lifetime name `'a`
20 fn my_fun() -> Return<()> {}
21 //~^ ERROR non-defining opaque type use in defining scope