| 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 `CoerceUnsized` does not allow multiple fields to be coerced | |
| --> $DIR/E0375.rs:10:12 | |
| | | |
| LL | impl<T, U> CoerceUnsized<Foo<U, T>> for Foo<T, U> {} | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^ | |
| | | |
| note: the trait `CoerceUnsized` may only be implemented when a single field is being coerced | |
| --> $DIR/E0375.rs:6:5 | |
| | | |
| LL | b: T, | |
| | ^^^^ | |
| LL | c: U, | |
| | ^^^^ | |
| error: aborting due to 2 previous errors | |
| Some errors have detailed explanations: E0277, E0375. | |
| For more information about an error, try `rustc --explain E0277`. |