blob: 270afb639575d92922005ed6a1d1c60b00c8acf9 [file] [log] [blame] [edit]
//@ 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
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
//~| NOTE
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
}