tests/ui/traits/issue-85735.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

// Regression test for the invalid suggestion in #85735 (the
// underlying issue #21974 still exists here).

trait Foo {}
impl<'a, 'b, T> Foo for T
where
    T: FnMut(&'a ()),
    //~^ ERROR: type annotations needed
    T: FnMut(&'b ()),
{
}

fn main() {}