trait-method-number-parameters

Author: Kivooeo

tests/ui/traits/trait-method-signature-mismatch.rs

@@ -1,10 +1,15 @@
+//! This test verifies that implementing a trait method with a signature that does not
+//! exactly match its declaration in the trait results in a compilation error.
+//! Specifically, it checks for errors when the number of parameters or the return type
+//! in the `impl` differs from the trait definition.
+
 trait Foo {
     fn foo(&mut self, x: i32, y: i32) -> i32;
 }
 
 impl Foo for i32 {
     fn foo(
-        &mut self, //~ ERROR
+        &mut self, //~ ERROR method `foo` has 2 parameters but the declaration
         x: i32,
     ) {
     }

tests/ui/traits/trait-method-signature-mismatch.stderr

@@ -1,5 +1,5 @@
 error[E0050]: method `foo` has 2 parameters but the declaration in trait `Foo::foo` has 3
-  --> $DIR/trait-method-number-parameters.rs:7:9
+  --> $DIR/trait-method-signature-mismatch.rs:12:9
    |
 LL |       fn foo(&mut self, x: i32, y: i32) -> i32;
    |              ------------------------- trait requires 3 parameters