summaryrefslogtreecommitdiffstats
path: root/src/test/ui/dst/dst-bad-coerce1.stderr
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/test/ui/dst/dst-bad-coerce1.stderr42
1 files changed, 42 insertions, 0 deletions
diff --git a/src/test/ui/dst/dst-bad-coerce1.stderr b/src/test/ui/dst/dst-bad-coerce1.stderr
new file mode 100644
index 000000000..594acff85
--- /dev/null
+++ b/src/test/ui/dst/dst-bad-coerce1.stderr
@@ -0,0 +1,42 @@
+error[E0308]: mismatched types
+ --> $DIR/dst-bad-coerce1.rs:16:29
+ |
+LL | let f3: &Fat<[usize]> = f2;
+ | ------------- ^^ expected slice `[usize]`, found array `[isize; 3]`
+ | |
+ | expected due to this
+ |
+ = note: expected reference `&Fat<[usize]>`
+ found reference `&Fat<[isize; 3]>`
+
+error[E0277]: the trait bound `Foo: Bar` is not satisfied
+ --> $DIR/dst-bad-coerce1.rs:22:29
+ |
+LL | let f3: &Fat<dyn Bar> = f2;
+ | ^^ the trait `Bar` is not implemented for `Foo`
+ |
+ = note: required for the cast from `Foo` to the object type `dyn Bar`
+
+error[E0308]: mismatched types
+ --> $DIR/dst-bad-coerce1.rs:28:27
+ |
+LL | let f3: &([usize],) = f2;
+ | ----------- ^^ expected slice `[usize]`, found array `[isize; 3]`
+ | |
+ | expected due to this
+ |
+ = note: expected reference `&([usize],)`
+ found reference `&([isize; 3],)`
+
+error[E0277]: the trait bound `Foo: Bar` is not satisfied
+ --> $DIR/dst-bad-coerce1.rs:34:27
+ |
+LL | let f3: &(dyn Bar,) = f2;
+ | ^^ the trait `Bar` is not implemented for `Foo`
+ |
+ = note: required for the cast from `Foo` to the object type `dyn Bar`
+
+error: aborting due to 4 previous errors
+
+Some errors have detailed explanations: E0277, E0308.
+For more information about an error, try `rustc --explain E0277`.