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 fn foo<T>() {
  18     let _: for<'a> fn(<() as Foo<T>>::Type<'a>, &'a T) = |_, _| ();
  19 }
  20
  21 pub fn main() {}