20d2414925
For structs that cannot be unsized, the layout algorithm sometimes moves unsized fields to the end of the struct, which circumvented the error for unexpected unsized fields and returned an unsized layout anyway. This commit makes it so that the unexpected unsized error is always returned for structs that cannot be unsized, allowing us to remove an old hack and fixing some old ICE.
24 lines
1015 B
Plaintext
24 lines
1015 B
Plaintext
error[E0277]: the size for values of type `[bool]` cannot be known at compilation time
|
|
--> $DIR/invalid-unsized-in-always-sized-tail.rs:11:8
|
|
|
|
|
LL | b: MySliceBool,
|
|
| ^^^^^^^^^^^ doesn't have a size known at compile-time
|
|
|
|
|
= help: the trait `Sized` is not implemented for `[bool]`
|
|
note: required by an implicit `Sized` bound in `MySlice`
|
|
--> $DIR/invalid-unsized-in-always-sized-tail.rs:7:16
|
|
|
|
|
LL | struct MySlice<T>(T);
|
|
| ^ required by the implicit `Sized` requirement on this type parameter in `MySlice`
|
|
help: you could relax the implicit `Sized` bound on `T` if it were used through indirection like `&T` or `Box<T>`
|
|
--> $DIR/invalid-unsized-in-always-sized-tail.rs:7:16
|
|
|
|
|
LL | struct MySlice<T>(T);
|
|
| ^ - ...if indirection were used here: `Box<T>`
|
|
| |
|
|
| this could be changed to `T: ?Sized`...
|
|
|
|
error: aborting due to 1 previous error
|
|
|
|
For more information about this error, try `rustc --explain E0277`.
|