1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
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`.
|
