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