1 #![feature(member_constraints)]
2 #![feature(type_alias_impl_trait)]
6 fn f(&self) -> Self::B;
8 impl<'a, 'b> A for () {
9 //~^ ERROR the lifetime parameter `'a` is not constrained
10 //~| ERROR the lifetime parameter `'b` is not constrained
11 type B = impl core::fmt::Debug;
13 fn f(&self) -> Self::B {}