1 error[E0308]: mismatched types
2 --> $DIR/pptypedef.rs:4:37
4 LL | let_in(3u32, |i| { assert!(i == 3i32); });
5 | ^^^^ expected u32, found i32
6 help: change the type of the numeric literal from `i32` to `u32`
8 LL | let_in(3u32, |i| { assert!(i == 3u32); });
11 error[E0308]: mismatched types
12 --> $DIR/pptypedef.rs:8:37
14 LL | let_in(3i32, |i| { assert!(i == 3u32); });
15 | ^^^^ expected i32, found u32
16 help: change the type of the numeric literal from `u32` to `i32`
18 LL | let_in(3i32, |i| { assert!(i == 3i32); });
21 error: aborting due to 2 previous errors
23 For more information about this error, try `rustc --explain E0308`.