1 error[E0308]: mismatched types
2 --> $DIR/pptypedef.rs:14:37
4 LL | let_in(3u32, |i| { assert!(i == 3i32); });
5 | ^^^^ expected u32, found i32
7 error[E0308]: mismatched types
8 --> $DIR/pptypedef.rs:18:37
10 LL | let_in(3i32, |i| { assert!(i == 3u32); });
11 | ^^^^ expected i32, found u32
13 error: aborting due to 2 previous errors
15 For more information about this error, try `rustc --explain E0308`.