fn id_i16(n: i16) -> i16 { n }
fn id_i32(n: i32) -> i32 { n }
fn id_i64(n: i64) -> i64 { n }
+ fn id_isize(n: isize) -> isize { n }
// the smallest values that need these types
let b8: u8 = 16;
fn id_u16(n: u16) -> u16 { n }
fn id_u32(n: u32) -> u32 { n }
fn id_u64(n: u64) -> u64 { n }
+ fn id_usize(n: usize) -> usize { n }
+
+ // Values for testing *size
+ let asize: isize = 1;
+ let bsize: usize = 3;
id_i8(a8); // ok
id_i8(a16);
id_i8(a64);
//~^ ERROR mismatched types
//~| expected `i8`, found `i64`
+ id_i8(asize);
+ //~^ ERROR mismatched types
+ //~| expected `i8`, found `isize`
id_i16(a8);
//~^ ERROR mismatched types
id_i16(a64);
//~^ ERROR mismatched types
//~| expected `i16`, found `i64`
+ id_i16(asize);
+ //~^ ERROR mismatched types
+ //~| expected `i16`, found `isize`
id_i32(a8);
//~^ ERROR mismatched types
id_i32(a64);
//~^ ERROR mismatched types
//~| expected `i32`, found `i64`
+ id_i32(asize);
+ //~^ ERROR mismatched types
+ //~| expected `i32`, found `isize`
id_i64(a8);
//~^ ERROR mismatched types
//~^ ERROR mismatched types
//~| expected `i64`, found `i32`
id_i64(a64); // ok
+ id_i64(asize);
+ //~^ ERROR mismatched types
+ //~| expected `i64`, found `isize`
+
+ id_isize(a8);
+ //~^ ERROR mismatched types
+ //~| expected `isize`, found `i8`
+ id_isize(a16);
+ //~^ ERROR mismatched types
+ //~| expected `isize`, found `i16`
+ id_isize(a32);
+ //~^ ERROR mismatched types
+ //~| expected `isize`, found `i32`
+ id_isize(a64);
+ //~^ ERROR mismatched types
+ //~| expected `isize`, found `i64`
+ id_isize(asize); //ok
id_i8(c8); // ok
id_i8(c16);
id_u8(b64);
//~^ ERROR mismatched types
//~| expected `u8`, found `u64`
+ id_u8(bsize);
+ //~^ ERROR mismatched types
+ //~| expected `u8`, found `usize`
id_u16(b8);
//~^ ERROR mismatched types
id_u16(b64);
//~^ ERROR mismatched types
//~| expected `u16`, found `u64`
+ id_u16(bsize);
+ //~^ ERROR mismatched types
+ //~| expected `u16`, found `usize`
id_u32(b8);
//~^ ERROR mismatched types
id_u32(b64);
//~^ ERROR mismatched types
//~| expected `u32`, found `u64`
+ id_u32(bsize);
+ //~^ ERROR mismatched types
+ //~| expected `u32`, found `usize`
id_u64(b8);
//~^ ERROR mismatched types
//~^ ERROR mismatched types
//~| expected `u64`, found `u32`
id_u64(b64); // ok
+ id_u64(bsize);
+ //~^ ERROR mismatched types
+ //~| expected `u64`, found `usize`
+
+ id_usize(b8);
+ //~^ ERROR mismatched types
+ //~| expected `usize`, found `u8`
+ id_usize(b16);
+ //~^ ERROR mismatched types
+ //~| expected `usize`, found `u16`
+ id_usize(b32);
+ //~^ ERROR mismatched types
+ //~| expected `usize`, found `u32`
+ id_usize(b64);
+ //~^ ERROR mismatched types
+ //~| expected `usize`, found `u64`
+ id_usize(bsize); //ok
}