summaryrefslogtreecommitdiffstats
path: root/src/test/ui/mismatched_types/trait-impl-fn-incompatibility.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/mismatched_types/trait-impl-fn-incompatibility.stderr')
-rw-r--r--src/test/ui/mismatched_types/trait-impl-fn-incompatibility.stderr37
1 files changed, 37 insertions, 0 deletions
diff --git a/src/test/ui/mismatched_types/trait-impl-fn-incompatibility.stderr b/src/test/ui/mismatched_types/trait-impl-fn-incompatibility.stderr
new file mode 100644
index 000000000..6b2ba53da
--- /dev/null
+++ b/src/test/ui/mismatched_types/trait-impl-fn-incompatibility.stderr
@@ -0,0 +1,37 @@
+error[E0053]: method `foo` has an incompatible type for trait
+ --> $DIR/trait-impl-fn-incompatibility.rs:9:15
+ |
+LL | fn foo(x: i16) { }
+ | ^^^
+ | |
+ | expected `u16`, found `i16`
+ | help: change the parameter type to match the trait: `u16`
+ |
+note: type in trait
+ --> $DIR/trait-impl-fn-incompatibility.rs:2:15
+ |
+LL | fn foo(x: u16);
+ | ^^^
+ = note: expected fn pointer `fn(u16)`
+ found fn pointer `fn(i16)`
+
+error[E0053]: method `bar` has an incompatible type for trait
+ --> $DIR/trait-impl-fn-incompatibility.rs:10:28
+ |
+LL | fn bar(&mut self, bar: &Bar) { }
+ | ^^^^
+ | |
+ | types differ in mutability
+ | help: change the parameter type to match the trait: `&mut Bar`
+ |
+note: type in trait
+ --> $DIR/trait-impl-fn-incompatibility.rs:3:28
+ |
+LL | fn bar(&mut self, bar: &mut Bar);
+ | ^^^^^^^^
+ = note: expected fn pointer `fn(&mut Bar, &mut Bar)`
+ found fn pointer `fn(&mut Bar, &Bar)`
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0053`.