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
13 fn a(&'a self) -> Self::B<'a>;
18 impl<'a> A<'a> for C {
19 type B<'b> = impl Clone;
20 //~^ ERROR: could not find defining uses
22 fn a(&'a self) -> Self::B<'a> {} //~ ERROR: non-defining opaque type use in defining scope