diff options
Diffstat (limited to 'src/test/ui/numeric/integer-literal-suffix-inference.rs')
| -rw-r--r-- | src/test/ui/numeric/integer-literal-suffix-inference.rs | 220 |
1 files changed, 220 insertions, 0 deletions
diff --git a/src/test/ui/numeric/integer-literal-suffix-inference.rs b/src/test/ui/numeric/integer-literal-suffix-inference.rs new file mode 100644 index 000000000..c320f2bb7 --- /dev/null +++ b/src/test/ui/numeric/integer-literal-suffix-inference.rs @@ -0,0 +1,220 @@ +fn main() { + + // the smallest positive values that need these types + let a8: i8 = 8; + let a16: i16 = 128; + let a32: i32 = 32_768; + let a64: i64 = 2_147_483_648; + + // the smallest negative values that need these types + let c8: i8 = -9; + let c16: i16 = -129; + let c32: i32 = -32_769; + let c64: i64 = -2_147_483_649; + + fn id_i8(n: i8) -> i8 { n } + 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; + let b16: u16 = 256; + let b32: u32 = 65_536; + let b64: u64 = 4_294_967_296; + + fn id_u8(n: u8) -> u8 { n } + 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); + //~^ ERROR mismatched types + //~| expected `i8`, found `i16` + id_i8(a32); + //~^ ERROR mismatched types + //~| expected `i8`, found `i32` + 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 + //~| expected `i16`, found `i8` + id_i16(a16); // ok + id_i16(a32); + //~^ ERROR mismatched types + //~| expected `i16`, found `i32` + 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 + //~| expected `i32`, found `i8` + id_i32(a16); + //~^ ERROR mismatched types + //~| expected `i32`, found `i16` + id_i32(a32); // ok + 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 + //~| expected `i64`, found `i8` + id_i64(a16); + //~^ ERROR mismatched types + //~| expected `i64`, found `i16` + id_i64(a32); + //~^ 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); + //~^ ERROR mismatched types + //~| expected `i8`, found `i16` + id_i8(c32); + //~^ ERROR mismatched types + //~| expected `i8`, found `i32` + id_i8(c64); + //~^ ERROR mismatched types + //~| expected `i8`, found `i64` + + id_i16(c8); + //~^ ERROR mismatched types + //~| expected `i16`, found `i8` + id_i16(c16); // ok + id_i16(c32); + //~^ ERROR mismatched types + //~| expected `i16`, found `i32` + id_i16(c64); + //~^ ERROR mismatched types + //~| expected `i16`, found `i64` + + id_i32(c8); + //~^ ERROR mismatched types + //~| expected `i32`, found `i8` + id_i32(c16); + //~^ ERROR mismatched types + //~| expected `i32`, found `i16` + id_i32(c32); // ok + id_i32(c64); + //~^ ERROR mismatched types + //~| expected `i32`, found `i64` + + id_i64(a8); + //~^ ERROR mismatched types + //~| expected `i64`, found `i8` + id_i64(a16); + //~^ ERROR mismatched types + //~| expected `i64`, found `i16` + id_i64(a32); + //~^ ERROR mismatched types + //~| expected `i64`, found `i32` + id_i64(a64); // ok + + id_u8(b8); // ok + id_u8(b16); + //~^ ERROR mismatched types + //~| expected `u8`, found `u16` + id_u8(b32); + //~^ ERROR mismatched types + //~| expected `u8`, found `u32` + 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 + //~| expected `u16`, found `u8` + id_u16(b16); // ok + id_u16(b32); + //~^ ERROR mismatched types + //~| expected `u16`, found `u32` + 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 + //~| expected `u32`, found `u8` + id_u32(b16); + //~^ ERROR mismatched types + //~| expected `u32`, found `u16` + id_u32(b32); // ok + 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 + //~| expected `u64`, found `u8` + id_u64(b16); + //~^ ERROR mismatched types + //~| expected `u64`, found `u16` + id_u64(b32); + //~^ 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 +} |