|  | //@ run-rustfix | 
|  |  | 
|  | fn foo<N>(_x: N) {} | 
|  | //~^ NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  | //~| NOTE function defined here | 
|  |  | 
|  | fn main() { | 
|  | foo::<u16>(42_u16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u16>(42_u16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u16>(42_u16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u16>(42_u16); | 
|  | foo::<u16>(42_u16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u16>(42_u16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u16>(42_u16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u16>(42_u16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u16>(42_u16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u16>(42_u16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u16>(42u16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u16>(42u16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  |  | 
|  | foo::<i16>(42_i16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i16>(42_i16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i16>(42_i16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i16>(42_i16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i16>(42_i16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i16>(42_i16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i16>(42_i16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i16>(42_i16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i16>(42_i16); | 
|  | foo::<i16>(42_i16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i16>(42i16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i16>(42i16); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  |  | 
|  | foo::<u8>(42_u8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u8>(42_u8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u8>(42_u8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u8>(42_u8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u8>(42_u8); | 
|  | foo::<u8>(42_u8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u8>(42_u8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u8>(42_u8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u8>(42_u8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u8>(42_u8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u8>(42u8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<u8>(42u8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  |  | 
|  | foo::<i8>(42_i8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i8>(42_i8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i8>(42_i8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i8>(42_i8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i8>(42_i8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i8>(42_i8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i8>(42_i8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i8>(42_i8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i8>(42_i8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i8>(42_i8); | 
|  | foo::<i8>(42i8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i8>(42i8); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  |  | 
|  | foo::<f64>(42_f64); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f64>(42_f64); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f64>(42_u32.into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f64>(42_u16.into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f64>(42_u8.into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f64>(42_f64); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f64>(42_f64); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f64>(42_i32.into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f64>(42_i16.into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f64>(42_i8.into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f64>(42.0_f64); | 
|  | foo::<f64>(42.0_f64); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  |  | 
|  | foo::<f32>(42_f32); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f32>(42_f32); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f32>(42_f32); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f32>(42_u16.into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f32>(42_u8.into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f32>(42_f32); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f32>(42_f32); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f32>(42_f32); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f32>(42_i16.into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f32>(42_i8.into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f32>(42.0_f32); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<f32>(42.0_f32); | 
|  |  | 
|  | foo::<u32>((42_u8 as u16).into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | foo::<i32>((-42_i8).into()); | 
|  | //~^ ERROR mismatched types | 
|  | //~| NOTE expected | 
|  | //~| NOTE arguments | 
|  | } |