src/test/ui/mismatched_types/closure-mismatch.rs

trait Foo {}

impl<T: Fn(&())> Foo for T {}

fn baz<T: Foo>(_: T) {}

fn main() {
    baz(|_| ()); //~ ERROR type mismatch
    //~^ ERROR type mismatch
}