3 // the smallest positive values that need these types
7 let a64: i64 = 2_147_483_648;
9 // the smallest negative values that need these types
12 let c32: i32 = -32_769;
13 let c64: i64 = -2_147_483_649;
15 fn id_i8(n: i8) -> i8 { n }
16 fn id_i16(n: i16) -> i16 { n }
17 fn id_i32(n: i32) -> i32 { n }
18 fn id_i64(n: i64) -> i64 { n }
20 // the smallest values that need these types
23 let b32: u32 = 65_536;
24 let b64: u64 = 4_294_967_296;
26 fn id_u8(n: u8) -> u8 { n }
27 fn id_u16(n: u16) -> u16 { n }
28 fn id_u32(n: u32) -> u32 { n }
29 fn id_u64(n: u64) -> u64 { n }
33 //~^ ERROR mismatched types
34 //~| expected i8, found i16
36 //~^ ERROR mismatched types
37 //~| expected i8, found i32
39 //~^ ERROR mismatched types
40 //~| expected i8, found i64
43 //~^ ERROR mismatched types
44 //~| expected i16, found i8
47 //~^ ERROR mismatched types
48 //~| expected i16, found i32
50 //~^ ERROR mismatched types
51 //~| expected i16, found i64
54 //~^ ERROR mismatched types
55 //~| expected i32, found i8
57 //~^ ERROR mismatched types
58 //~| expected i32, found i16
61 //~^ ERROR mismatched types
62 //~| expected i32, found i64
65 //~^ ERROR mismatched types
66 //~| expected i64, found i8
68 //~^ ERROR mismatched types
69 //~| expected i64, found i16
71 //~^ ERROR mismatched types
72 //~| expected i64, found i32
77 //~^ ERROR mismatched types
78 //~| expected i8, found i16
80 //~^ ERROR mismatched types
81 //~| expected i8, found i32
83 //~^ ERROR mismatched types
84 //~| expected i8, found i64
87 //~^ ERROR mismatched types
88 //~| expected i16, found i8
91 //~^ ERROR mismatched types
92 //~| expected i16, found i32
94 //~^ ERROR mismatched types
95 //~| expected i16, found i64
98 //~^ ERROR mismatched types
99 //~| expected i32, found i8
101 //~^ ERROR mismatched types
102 //~| expected i32, found i16
105 //~^ ERROR mismatched types
106 //~| expected i32, found i64
109 //~^ ERROR mismatched types
110 //~| expected i64, found i8
112 //~^ ERROR mismatched types
113 //~| expected i64, found i16
115 //~^ ERROR mismatched types
116 //~| expected i64, found i32
121 //~^ ERROR mismatched types
122 //~| expected u8, found u16
124 //~^ ERROR mismatched types
125 //~| expected u8, found u32
127 //~^ ERROR mismatched types
128 //~| expected u8, found u64
131 //~^ ERROR mismatched types
132 //~| expected u16, found u8
135 //~^ ERROR mismatched types
136 //~| expected u16, found u32
138 //~^ ERROR mismatched types
139 //~| expected u16, found u64
142 //~^ ERROR mismatched types
143 //~| expected u32, found u8
145 //~^ ERROR mismatched types
146 //~| expected u32, found u16
149 //~^ ERROR mismatched types
150 //~| expected u32, found u64
153 //~^ ERROR mismatched types
154 //~| expected u64, found u8
156 //~^ ERROR mismatched types
157 //~| expected u64, found u16
159 //~^ ERROR mismatched types
160 //~| expected u64, found u32