src/test/ui/nll/issue-78561.rs

   1 // check-pass
   2 #![feature(type_alias_impl_trait)]
   3
   4 pub trait Trait {
   5     type A;
   6
   7     fn f() -> Self::A;
   8 }
   9
  10 pub trait Tr2<'a, 'b> {}
  11
  12 pub struct A<T>(T);
  13 pub trait Tr {
  14     type B;
  15 }
  16
  17 impl<'a, 'b, T: Tr<B = dyn Tr2<'a, 'b>>> Trait for A<T> {
  18     type A = impl core::fmt::Debug;
  19
  20     fn f() -> Self::A {}
  21 }
  22
  23 fn main() {}