1 // Regression test for #69136
3 // revisions: min_tait full_tait
4 #![feature(min_type_alias_impl_trait)]
5 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
6 //[full_tait]~^ WARN incomplete
10 impl SomeTrait for () {}
16 impl<T> WithAssoc<T> for () {
20 type Return<A> = impl WithAssoc<A, AssocType = impl SomeTrait + 'a>;
21 //~^ ERROR use of undeclared lifetime name `'a`
23 fn my_fun() -> Return<()> {}