src/test/ui/associated-types/issue-62200.rs

   1 struct S {}
   2
   3 trait T<'a> {
   4     type A;
   5 }
   6
   7 impl T<'_> for S {
   8     type A = u32;
   9 }
  10
  11 fn foo(x: impl Fn(<S as T<'_>>::A) -> <S as T<'_>>::A) {}
  12 //~^ ERROR binding for associated type `Output` references an anonymous lifetime
  13 //~^^ NOTE lifetimes appearing in an associated type are not considered constrained
  14
  15 fn main() {}