src/test/ui/generic-associated-types/issue-91139.rs

   1 // check-pass
   2
   3 #![feature(generic_associated_types)]
   4
   5 trait Foo<T> {
   6     type Type<'a>
   7     where
   8         T: 'a;
   9 }
  10
  11 impl<T> Foo<T> for () {
  12     type Type<'a>
  13     where
  14         T: 'a,
  15     = ();
  16 }
  17
  18 fn foo<T>() {
  19     let _: for<'a> fn(<() as Foo<T>>::Type<'a>, &'a T) = |_, _| ();
  20 }
  21
  22 pub fn main() {}