5 fn identity_u8(n: u8) -> u8 { n }
6 fn identity_u16(n: u16) -> u16 { n }
8 identity_u8(x); // after this, `x` is assumed to have type `u8`
10 //~^ ERROR mismatched types
11 //~| expected `u16`, found `u8`
13 //~^ ERROR mismatched types
14 //~| expected `u16`, found `i32`
18 fn identity_i(n: isize) -> isize { n }
22 //~^ ERROR mismatched types
23 //~| expected `u16`, found `isize`