src/test/ui/traits/issue-85735.rs

   1 // Regression test for the invalid suggestion in #85735 (the
   2 // underlying issue #21974 still exists here).
   3
   4 trait Foo {}
   5 impl<'a, 'b, T> Foo for T
   6 where
   7     T: FnMut(&'a ()),
   8     //~^ ERROR: type annotations needed
   9     T: FnMut(&'b ()),
  10 {
  11 }
  12
  13 fn main() {}