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