1 #![feature(type_alias_impl_trait)]
7 // FIXME(generic_associated_types): Remove one of the below bounds
8 // https://github.com/rust-lang/rust/pull/90678#discussion_r744976085
12 fn a(&'a self) -> Self::B<'a>;
17 impl<'a> A<'a> for C {
18 type B<'b> = impl Clone;
20 fn a(&'a self) -> Self::B<'a> {} //~ ERROR: non-defining opaque type use in defining scope