1 fn with_closure<F, A>(_: F)
7 with_closure(|x: u32, y| {
8 // We deduce type of `y` from `x`.
13 // Here we take the supplied types, resulting in an error later on.
14 with_closure(|x: u32, y: i32| {
15 //~^ ERROR type mismatch in closure arguments
20 with_closure(|x, y: i32| {
21 // We deduce type of `x` from `y`.