src/test/ui/impl-trait/printing-binder.rs

   1 trait Trait<'a> {}
   2 impl<T> Trait<'_> for T {}
   3 fn whatever() -> impl for<'a> Trait<'a> + for<'b> Trait<'b> {}
   4
   5 fn whatever2() -> impl for<'c> Fn(&'c ()) {
   6     |_: &()| {}
   7 }
   8
   9 fn main() {
  10     let x: u32 = whatever();
  11     //~^ ERROR mismatched types
  12     let x2: u32 = whatever2();
  13     //~^ ERROR mismatched types
  14 }