39 lines
1.4 KiB
Plaintext
39 lines
1.4 KiB
Plaintext
error[E0277]: the size for values of type `T` cannot be known at compilation time
|
|
--> $DIR/E0375.rs:6:8
|
|
|
|
|
LL | struct Foo<T: ?Sized, U: ?Sized> {
|
|
| - this type parameter needs to be `Sized`
|
|
LL | a: i32,
|
|
LL | b: T,
|
|
| ^ doesn't have a size known at compile-time
|
|
|
|
|
= note: only the last field of a struct may have a dynamically sized type
|
|
= help: change the field's type to have a statically known size
|
|
help: consider removing the `?Sized` bound to make the type parameter `Sized`
|
|
|
|
|
LL - struct Foo<T: ?Sized, U: ?Sized> {
|
|
LL + struct Foo<T, U: ?Sized> {
|
|
|
|
|
help: borrowed types always have a statically known size
|
|
|
|
|
LL | b: &T,
|
|
| +
|
|
help: the `Box` type always has a statically known size and allocates its contents in the heap
|
|
|
|
|
LL | b: Box<T>,
|
|
| ++++ +
|
|
|
|
error[E0375]: implementing the trait `CoerceUnsized` requires multiple coercions
|
|
--> $DIR/E0375.rs:10:12
|
|
|
|
|
LL | impl<T, U> CoerceUnsized<Foo<U, T>> for Foo<T, U> {}
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^ requires multiple coercions
|
|
|
|
|
= note: `CoerceUnsized` may only be implemented for a coercion between structures with one field being coerced
|
|
= note: currently, 2 fields need coercions: `b` (`T` to `U`), `c` (`U` to `T`)
|
|
|
|
error: aborting due to 2 previous errors
|
|
|
|
Some errors have detailed explanations: E0277, E0375.
|
|
For more information about an error, try `rustc --explain E0277`.
|