diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/type/type-parameter-defaults-referencing-Self-ppaux.stderr | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/src/test/ui/type/type-parameter-defaults-referencing-Self-ppaux.stderr b/src/test/ui/type/type-parameter-defaults-referencing-Self-ppaux.stderr new file mode 100644 index 000000000..8a296dc7e --- /dev/null +++ b/src/test/ui/type/type-parameter-defaults-referencing-Self-ppaux.stderr @@ -0,0 +1,31 @@ +error[E0620]: cast to unsized type: `i32` as `dyn MyAdd<i32>` + --> $DIR/type-parameter-defaults-referencing-Self-ppaux.rs:14:13 + | +LL | let y = x as dyn MyAdd<i32>; + | ^^^^^^^^^^^^^^^^^^^ + | +help: consider using a box or reference as appropriate + --> $DIR/type-parameter-defaults-referencing-Self-ppaux.rs:14:13 + | +LL | let y = x as dyn MyAdd<i32>; + | ^ + +error[E0038]: the trait `MyAdd` cannot be made into an object + --> $DIR/type-parameter-defaults-referencing-Self-ppaux.rs:14:18 + | +LL | let y = x as dyn MyAdd<i32>; + | ^^^^^^^^^^^^^^ `MyAdd` cannot be made into an object + | +note: for a trait to be "object safe" it needs to allow building a vtable to allow the call to be resolvable dynamically; for more information visit <https://doc.rust-lang.org/reference/items/traits.html#object-safety> + --> $DIR/type-parameter-defaults-referencing-Self-ppaux.rs:6:55 + | +LL | trait MyAdd<Rhs=Self> { fn add(&self, other: &Rhs) -> Self; } + | ----- ^^^^ ...because method `add` references the `Self` type in its return type + | | + | this trait cannot be made into an object... + = help: consider moving `add` to another trait + +error: aborting due to 2 previous errors + +Some errors have detailed explanations: E0038, E0620. +For more information about an error, try `rustc --explain E0038`. |