src/test/ui/lifetimes/nested-binder-print.rs

   1 struct TwoLt<'a, 'b>(&'a (), &'b ());
   2 type Foo<'a> = fn(TwoLt<'_, 'a>);
   3
   4 fn foo() {
   5     let y: for<'a> fn(Foo<'a>);
   6     let x: u32 = y;
   7     //~^ ERROR mismatched types
   8 }
   9
  10 fn main() {}