tests/ui/type-alias-impl-trait/issue-74761.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 pub trait A {
   4     type B;
   5     fn f(&self) -> Self::B;
   6 }
   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;
  11
  12     fn f(&self) -> Self::B {}
  13 }
  14
  15 fn main() {}