1 trait Foo {}
2 
3 impl<T: Fn(&())> Foo for T {}
4 
baz<T: Foo>(_: T)5 fn baz<T: Foo>(_: T) {}
6 
main()7 fn main() {
8     baz(|_| ()); //~ ERROR mismatched types
9 }
10