diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/unsized/unsized-trait-impl-self-type.stderr | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/src/test/ui/unsized/unsized-trait-impl-self-type.stderr b/src/test/ui/unsized/unsized-trait-impl-self-type.stderr new file mode 100644 index 000000000..f6ba9a80c --- /dev/null +++ b/src/test/ui/unsized/unsized-trait-impl-self-type.stderr @@ -0,0 +1,29 @@ +error[E0277]: the size for values of type `X` cannot be known at compilation time + --> $DIR/unsized-trait-impl-self-type.rs:10:27 + | +LL | impl<X: ?Sized> T3<X> for S5<X> { + | - ^^^^^ doesn't have a size known at compile-time + | | + | this type parameter needs to be `std::marker::Sized` + | +note: required by a bound in `S5` + --> $DIR/unsized-trait-impl-self-type.rs:8:11 + | +LL | struct S5<Y>(Y); + | ^ required by this bound in `S5` +help: you could relax the implicit `Sized` bound on `Y` if it were used through indirection like `&Y` or `Box<Y>` + --> $DIR/unsized-trait-impl-self-type.rs:8:11 + | +LL | struct S5<Y>(Y); + | ^ - ...if indirection were used here: `Box<Y>` + | | + | this could be changed to `Y: ?Sized`... +help: consider removing the `?Sized` bound to make the type parameter `Sized` + | +LL - impl<X: ?Sized> T3<X> for S5<X> { +LL + impl<X> T3<X> for S5<X> { + | + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0277`. |