1 fn let_in<T, F>(x: T, f: F) where F: FnOnce(T) {}
4 let_in(3u32, |i| { assert!(i == 3i32); });
5 //~^ ERROR mismatched types
6 //~| expected u32, found i32
8 let_in(3i32, |i| { assert!(i == 3u32); });
9 //~^ ERROR mismatched types
10 //~| expected i32, found u32