1 #![feature(generic_associated_types)]
2 #![feature(type_alias_impl_trait)]
8 // FIXME(generic_associated_types): Remove one of the below bounds
9 // https://github.com/rust-lang/rust/pull/90678#discussion_r744976085
11 'a: 'b, Self: 'a, Self: 'b;
13 fn a(&'a self) -> Self::B<'a>;
18 impl<'a> A<'a> for C {
19 type B<'b> = impl Clone;
20 //~^ ERROR: lifetime bound not satisfied
21 //~| ERROR: unconstrained opaque type
23 fn a(&'a self) -> Self::B<'a> {} //~ ERROR: non-defining opaque type use in defining scope