tests/ui/closures/issue-41366.rs

   1 // check-pass
   2
   3 trait T<'x> {
   4     type V;
   5 }
   6
   7 impl<'g> T<'g> for u32 {
   8     type V = u16;
   9 }
  10
  11 fn main() {
  12     (&|_| ()) as &dyn for<'x> Fn(<u32 as T<'x>>::V);
  13 }