fn let_in<T, F>(x: T, f: F) where F: FnOnce(T) {} | |
fn main() { | |
let_in(3u32, |i| { assert!(i == 3i32); }); | |
//~^ ERROR mismatched types | |
//~| expected `u32`, found `i32` | |
let_in(3i32, |i| { assert!(i == 3u32); }); | |
//~^ ERROR mismatched types | |
//~| expected `i32`, found `u32` | |
} |