summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/trait-upcasting/illegal-upcast-from-impl.current.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/traits/trait-upcasting/illegal-upcast-from-impl.current.stderr')
-rw-r--r--tests/ui/traits/trait-upcasting/illegal-upcast-from-impl.current.stderr14
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/ui/traits/trait-upcasting/illegal-upcast-from-impl.current.stderr b/tests/ui/traits/trait-upcasting/illegal-upcast-from-impl.current.stderr
new file mode 100644
index 000000000..59c9d5737
--- /dev/null
+++ b/tests/ui/traits/trait-upcasting/illegal-upcast-from-impl.current.stderr
@@ -0,0 +1,14 @@
+error[E0308]: mismatched types
+ --> $DIR/illegal-upcast-from-impl.rs:16:66
+ |
+LL | fn illegal(x: &dyn Sub<Assoc = ()>) -> &dyn Super<Assoc = i32> { x }
+ | ----------------------- ^ expected trait `Super`, found trait `Sub`
+ | |
+ | expected `&dyn Super<Assoc = i32>` because of return type
+ |
+ = note: expected reference `&dyn Super<Assoc = i32>`
+ found reference `&dyn Sub<Assoc = ()>`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0308`.