1 fn foo<F: Fn(&char) -> bool + Fn(char) -> bool>(f: F) {
2 //~^ NOTE required by a bound in `foo`
3 //~| NOTE required by this bound in `foo`
4 //~| NOTE closure inferred to have a different signature due to this bound
11 //~^ ERROR type mismatch in closure arguments
12 //~| NOTE expected closure signature
13 //~| NOTE expected due to this
14 //~| NOTE found signature defined here