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