src/test/ui/numeric/numeric-suffix.rs

   1 // run-rustfix
   2
   3 fn foo<N>(_x: N) {}
   4
   5 fn main() {
   6     foo::<usize>(42_usize);
   7     foo::<usize>(42_u64);
   8     //~^ ERROR mismatched types
   9     foo::<usize>(42_u32);
  10     //~^ ERROR mismatched types
  11     foo::<usize>(42_u16);
  12     //~^ ERROR mismatched types
  13     foo::<usize>(42_u8);
  14     //~^ ERROR mismatched types
  15     foo::<usize>(42_isize);
  16     //~^ ERROR mismatched types
  17     foo::<usize>(42_i64);
  18     //~^ ERROR mismatched types
  19     foo::<usize>(42_i32);
  20     //~^ ERROR mismatched types
  21     foo::<usize>(42_i16);
  22     //~^ ERROR mismatched types
  23     foo::<usize>(42_i8);
  24     //~^ ERROR mismatched types
  25     foo::<usize>(42.0_f64);
  26     //~^ ERROR mismatched types
  27     foo::<usize>(42.0_f32);
  28     //~^ ERROR mismatched types
  29
  30     foo::<isize>(42_usize);
  31     //~^ ERROR mismatched types
  32     foo::<isize>(42_u64);
  33     //~^ ERROR mismatched types
  34     foo::<isize>(42_u32);
  35     //~^ ERROR mismatched types
  36     foo::<isize>(42_u16);
  37     //~^ ERROR mismatched types
  38     foo::<isize>(42_u8);
  39     //~^ ERROR mismatched types
  40     foo::<isize>(42_isize);
  41     foo::<isize>(42_i64);
  42     //~^ ERROR mismatched types
  43     foo::<isize>(42_i32);
  44     //~^ ERROR mismatched types
  45     foo::<isize>(42_i16);
  46     //~^ ERROR mismatched types
  47     foo::<isize>(42_i8);
  48     //~^ ERROR mismatched types
  49     foo::<isize>(42.0_f64);
  50     //~^ ERROR mismatched types
  51     foo::<isize>(42.0_f32);
  52     //~^ ERROR mismatched types
  53
  54     foo::<u64>(42_usize);
  55     //~^ ERROR mismatched types
  56     foo::<u64>(42_u64);
  57     foo::<u64>(42_u32);
  58     //~^ ERROR mismatched types
  59     foo::<u64>(42_u16);
  60     //~^ ERROR mismatched types
  61     foo::<u64>(42_u8);
  62     //~^ ERROR mismatched types
  63     foo::<u64>(42_isize);
  64     //~^ ERROR mismatched types
  65     foo::<u64>(42_i64);
  66     //~^ ERROR mismatched types
  67     foo::<u64>(42_i32);
  68     //~^ ERROR mismatched types
  69     foo::<u64>(42_i16);
  70     //~^ ERROR mismatched types
  71     foo::<u64>(42_i8);
  72     //~^ ERROR mismatched types
  73     foo::<u64>(42.0_f64);
  74     //~^ ERROR mismatched types
  75     foo::<u64>(42.0_f32);
  76     //~^ ERROR mismatched types
  77
  78     foo::<i64>(42_usize);
  79     //~^ ERROR mismatched types
  80     foo::<i64>(42_u64);
  81     //~^ ERROR mismatched types
  82     foo::<i64>(42_u32);
  83     //~^ ERROR mismatched types
  84     foo::<i64>(42_u16);
  85     //~^ ERROR mismatched types
  86     foo::<i64>(42_u8);
  87     //~^ ERROR mismatched types
  88     foo::<i64>(42_isize);
  89     //~^ ERROR mismatched types
  90     foo::<i64>(42_i64);
  91     foo::<i64>(42_i32);
  92     //~^ ERROR mismatched types
  93     foo::<i64>(42_i16);
  94     //~^ ERROR mismatched types
  95     foo::<i64>(42_i8);
  96     //~^ ERROR mismatched types
  97     foo::<i64>(42.0_f64);
  98     //~^ ERROR mismatched types
  99     foo::<i64>(42.0_f32);
 100     //~^ ERROR mismatched types
 101
 102     foo::<u32>(42_usize);
 103     //~^ ERROR mismatched types
 104     foo::<u32>(42_u64);
 105     //~^ ERROR mismatched types
 106     foo::<u32>(42_u32);
 107     foo::<u32>(42_u16);
 108     //~^ ERROR mismatched types
 109     foo::<u32>(42_u8);
 110     //~^ ERROR mismatched types
 111     foo::<u32>(42_isize);
 112     //~^ ERROR mismatched types
 113     foo::<u32>(42_i64);
 114     //~^ ERROR mismatched types
 115     foo::<u32>(42_i32);
 116     //~^ ERROR mismatched types
 117     foo::<u32>(42_i16);
 118     //~^ ERROR mismatched types
 119     foo::<u32>(42_i8);
 120     //~^ ERROR mismatched types
 121     foo::<u32>(42.0_f64);
 122     //~^ ERROR mismatched types
 123     foo::<u32>(42.0_f32);
 124     //~^ ERROR mismatched types
 125
 126     foo::<i32>(42_usize);
 127     //~^ ERROR mismatched types
 128     foo::<i32>(42_u64);
 129     //~^ ERROR mismatched types
 130     foo::<i32>(42_u32);
 131     //~^ ERROR mismatched types
 132     foo::<i32>(42_u16);
 133     //~^ ERROR mismatched types
 134     foo::<i32>(42_u8);
 135     //~^ ERROR mismatched types
 136     foo::<i32>(42_isize);
 137     //~^ ERROR mismatched types
 138     foo::<i32>(42_i64);
 139     //~^ ERROR mismatched types
 140     foo::<i32>(42_i32);
 141     foo::<i32>(42_i16);
 142     //~^ ERROR mismatched types
 143     foo::<i32>(42_i8);
 144     //~^ ERROR mismatched types
 145     foo::<i32>(42.0_f64);
 146     //~^ ERROR mismatched types
 147     foo::<i32>(42.0_f32);
 148     //~^ ERROR mismatched types
 149
 150     foo::<u16>(42_usize);
 151     //~^ ERROR mismatched types
 152     foo::<u16>(42_u64);
 153     //~^ ERROR mismatched types
 154     foo::<u16>(42_u32);
 155     //~^ ERROR mismatched types
 156     foo::<u16>(42_u16);
 157     foo::<u16>(42_u8);
 158     //~^ ERROR mismatched types
 159     foo::<u16>(42_isize);
 160     //~^ ERROR mismatched types
 161     foo::<u16>(42_i64);
 162     //~^ ERROR mismatched types
 163     foo::<u16>(42_i32);
 164     //~^ ERROR mismatched types
 165     foo::<u16>(42_i16);
 166     //~^ ERROR mismatched types
 167     foo::<u16>(42_i8);
 168     //~^ ERROR mismatched types
 169     foo::<u16>(42.0_f64);
 170     //~^ ERROR mismatched types
 171     foo::<u16>(42.0_f32);
 172     //~^ ERROR mismatched types
 173
 174     foo::<i16>(42_usize);
 175     //~^ ERROR mismatched types
 176     foo::<i16>(42_u64);
 177     //~^ ERROR mismatched types
 178     foo::<i16>(42_u32);
 179     //~^ ERROR mismatched types
 180     foo::<i16>(42_u16);
 181     //~^ ERROR mismatched types
 182     foo::<i16>(42_u8);
 183     //~^ ERROR mismatched types
 184     foo::<i16>(42_isize);
 185     //~^ ERROR mismatched types
 186     foo::<i16>(42_i64);
 187     //~^ ERROR mismatched types
 188     foo::<i16>(42_i32);
 189     //~^ ERROR mismatched types
 190     foo::<i16>(42_i16);
 191     foo::<i16>(42_i8);
 192     //~^ ERROR mismatched types
 193     foo::<i16>(42.0_f64);
 194     //~^ ERROR mismatched types
 195     foo::<i16>(42.0_f32);
 196     //~^ ERROR mismatched types
 197
 198     foo::<u8>(42_usize);
 199     //~^ ERROR mismatched types
 200     foo::<u8>(42_u64);
 201     //~^ ERROR mismatched types
 202     foo::<u8>(42_u32);
 203     //~^ ERROR mismatched types
 204     foo::<u8>(42_u16);
 205     //~^ ERROR mismatched types
 206     foo::<u8>(42_u8);
 207     foo::<u8>(42_isize);
 208     //~^ ERROR mismatched types
 209     foo::<u8>(42_i64);
 210     //~^ ERROR mismatched types
 211     foo::<u8>(42_i32);
 212     //~^ ERROR mismatched types
 213     foo::<u8>(42_i16);
 214     //~^ ERROR mismatched types
 215     foo::<u8>(42_i8);
 216     //~^ ERROR mismatched types
 217     foo::<u8>(42.0_f64);
 218     //~^ ERROR mismatched types
 219     foo::<u8>(42.0_f32);
 220     //~^ ERROR mismatched types
 221
 222     foo::<i8>(42_usize);
 223     //~^ ERROR mismatched types
 224     foo::<i8>(42_u64);
 225     //~^ ERROR mismatched types
 226     foo::<i8>(42_u32);
 227     //~^ ERROR mismatched types
 228     foo::<i8>(42_u16);
 229     //~^ ERROR mismatched types
 230     foo::<i8>(42_u8);
 231     //~^ ERROR mismatched types
 232     foo::<i8>(42_isize);
 233     //~^ ERROR mismatched types
 234     foo::<i8>(42_i64);
 235     //~^ ERROR mismatched types
 236     foo::<i8>(42_i32);
 237     //~^ ERROR mismatched types
 238     foo::<i8>(42_i16);
 239     //~^ ERROR mismatched types
 240     foo::<i8>(42_i8);
 241     foo::<i8>(42.0_f64);
 242     //~^ ERROR mismatched types
 243     foo::<i8>(42.0_f32);
 244     //~^ ERROR mismatched types
 245
 246     foo::<f64>(42_usize);
 247     //~^ ERROR mismatched types
 248     foo::<f64>(42_u64);
 249     //~^ ERROR mismatched types
 250     foo::<f64>(42_u32);
 251     //~^ ERROR mismatched types
 252     foo::<f64>(42_u16);
 253     //~^ ERROR mismatched types
 254     foo::<f64>(42_u8);
 255     //~^ ERROR mismatched types
 256     foo::<f64>(42_isize);
 257     //~^ ERROR mismatched types
 258     foo::<f64>(42_i64);
 259     //~^ ERROR mismatched types
 260     foo::<f64>(42_i32);
 261     //~^ ERROR mismatched types
 262     foo::<f64>(42_i16);
 263     //~^ ERROR mismatched types
 264     foo::<f64>(42_i8);
 265     //~^ ERROR mismatched types
 266     foo::<f64>(42.0_f64);
 267     foo::<f64>(42.0_f32);
 268     //~^ ERROR mismatched types
 269
 270     foo::<f32>(42_usize);
 271     //~^ ERROR mismatched types
 272     foo::<f32>(42_u64);
 273     //~^ ERROR mismatched types
 274     foo::<f32>(42_u32);
 275     //~^ ERROR mismatched types
 276     foo::<f32>(42_u16);
 277     //~^ ERROR mismatched types
 278     foo::<f32>(42_u8);
 279     //~^ ERROR mismatched types
 280     foo::<f32>(42_isize);
 281     //~^ ERROR mismatched types
 282     foo::<f32>(42_i64);
 283     //~^ ERROR mismatched types
 284     foo::<f32>(42_i32);
 285     //~^ ERROR mismatched types
 286     foo::<f32>(42_i16);
 287     //~^ ERROR mismatched types
 288     foo::<f32>(42_i8);
 289     //~^ ERROR mismatched types
 290     foo::<f32>(42.0_f64);
 291     //~^ ERROR mismatched types
 292     foo::<f32>(42.0_f32);
 293
 294     foo::<u32>(42_u8 as u16);
 295     //~^ ERROR mismatched types
 296     foo::<i32>(-42_i8);
 297     //~^ ERROR mismatched types
 298 }