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 }
19 fn id_isize(n: isize) -> isize { n }
21 // the smallest values that need these types
24 let b32: u32 = 65_536;
25 let b64: u64 = 4_294_967_296;
27 fn id_u8(n: u8) -> u8 { n }
28 fn id_u16(n: u16) -> u16 { n }
29 fn id_u32(n: u32) -> u32 { n }
30 fn id_u64(n: u64) -> u64 { n }
31 fn id_usize(n: usize) -> usize { n }
33 // Values for testing *size
39 //~^ ERROR mismatched types
40 //~| expected `i8`, found `i16`
42 //~^ ERROR mismatched types
43 //~| expected `i8`, found `i32`
45 //~^ ERROR mismatched types
46 //~| expected `i8`, found `i64`
48 //~^ ERROR mismatched types
49 //~| expected `i8`, found `isize`
52 //~^ ERROR mismatched types
53 //~| expected `i16`, found `i8`
56 //~^ ERROR mismatched types
57 //~| expected `i16`, found `i32`
59 //~^ ERROR mismatched types
60 //~| expected `i16`, found `i64`
62 //~^ ERROR mismatched types
63 //~| expected `i16`, found `isize`
66 //~^ ERROR mismatched types
67 //~| expected `i32`, found `i8`
69 //~^ ERROR mismatched types
70 //~| expected `i32`, found `i16`
73 //~^ ERROR mismatched types
74 //~| expected `i32`, found `i64`
76 //~^ ERROR mismatched types
77 //~| expected `i32`, found `isize`
80 //~^ ERROR mismatched types
81 //~| expected `i64`, found `i8`
83 //~^ ERROR mismatched types
84 //~| expected `i64`, found `i16`
86 //~^ ERROR mismatched types
87 //~| expected `i64`, found `i32`
90 //~^ ERROR mismatched types
91 //~| expected `i64`, found `isize`
94 //~^ ERROR mismatched types
95 //~| expected `isize`, found `i8`
97 //~^ ERROR mismatched types
98 //~| expected `isize`, found `i16`
100 //~^ ERROR mismatched types
101 //~| expected `isize`, found `i32`
103 //~^ ERROR mismatched types
104 //~| expected `isize`, found `i64`
105 id_isize(asize); //ok
109 //~^ ERROR mismatched types
110 //~| expected `i8`, found `i16`
112 //~^ ERROR mismatched types
113 //~| expected `i8`, found `i32`
115 //~^ ERROR mismatched types
116 //~| expected `i8`, found `i64`
119 //~^ ERROR mismatched types
120 //~| expected `i16`, found `i8`
123 //~^ ERROR mismatched types
124 //~| expected `i16`, found `i32`
126 //~^ ERROR mismatched types
127 //~| expected `i16`, found `i64`
130 //~^ ERROR mismatched types
131 //~| expected `i32`, found `i8`
133 //~^ ERROR mismatched types
134 //~| expected `i32`, found `i16`
137 //~^ ERROR mismatched types
138 //~| expected `i32`, found `i64`
141 //~^ ERROR mismatched types
142 //~| expected `i64`, found `i8`
144 //~^ ERROR mismatched types
145 //~| expected `i64`, found `i16`
147 //~^ ERROR mismatched types
148 //~| expected `i64`, found `i32`
153 //~^ ERROR mismatched types
154 //~| expected `u8`, found `u16`
156 //~^ ERROR mismatched types
157 //~| expected `u8`, found `u32`
159 //~^ ERROR mismatched types
160 //~| expected `u8`, found `u64`
162 //~^ ERROR mismatched types
163 //~| expected `u8`, found `usize`
166 //~^ ERROR mismatched types
167 //~| expected `u16`, found `u8`
170 //~^ ERROR mismatched types
171 //~| expected `u16`, found `u32`
173 //~^ ERROR mismatched types
174 //~| expected `u16`, found `u64`
176 //~^ ERROR mismatched types
177 //~| expected `u16`, found `usize`
180 //~^ ERROR mismatched types
181 //~| expected `u32`, found `u8`
183 //~^ ERROR mismatched types
184 //~| expected `u32`, found `u16`
187 //~^ ERROR mismatched types
188 //~| expected `u32`, found `u64`
190 //~^ ERROR mismatched types
191 //~| expected `u32`, found `usize`
194 //~^ ERROR mismatched types
195 //~| expected `u64`, found `u8`
197 //~^ ERROR mismatched types
198 //~| expected `u64`, found `u16`
200 //~^ ERROR mismatched types
201 //~| expected `u64`, found `u32`
204 //~^ ERROR mismatched types
205 //~| expected `u64`, found `usize`
208 //~^ ERROR mismatched types
209 //~| expected `usize`, found `u8`
211 //~^ ERROR mismatched types
212 //~| expected `usize`, found `u16`
214 //~^ ERROR mismatched types
215 //~| expected `usize`, found `u32`
217 //~^ ERROR mismatched types
218 //~| expected `usize`, found `u64`
219 id_usize(bsize); //ok