mirror of https://github.com/rust-lang/rust.git
45 lines
1.6 KiB
Plaintext
45 lines
1.6 KiB
Plaintext
error[E0277]: the size for values of type `[()]` cannot be known at compilation time
|
|
--> $DIR/trivial-unsized-projection.rs:20:12
|
|
|
|
|
LL | const FOO: <[()] as Bad>::Assert = todo!();
|
|
| ^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
|
|
|
|
= help: the trait `Sized` is not implemented for `[()]`
|
|
note: required by a bound in `Bad::Assert`
|
|
--> $DIR/trivial-unsized-projection.rs:14:15
|
|
|
|
|
LL | type Assert
|
|
| ------ required by a bound in this associated type
|
|
LL | where
|
|
LL | Self: Sized;
|
|
| ^^^^^ required by this bound in `Bad::Assert`
|
|
help: consider relaxing the implicit `Sized` restriction
|
|
|
|
|
LL | type Assert: ?Sized
|
|
| ++++++++
|
|
|
|
error[E0277]: the size for values of type `[()]` cannot be known at compilation time
|
|
--> $DIR/trivial-unsized-projection.rs:20:12
|
|
|
|
|
LL | const FOO: <[()] as Bad>::Assert = todo!();
|
|
| ^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
|
|
|
|
= help: the trait `Sized` is not implemented for `[()]`
|
|
note: required by a bound in `Bad::Assert`
|
|
--> $DIR/trivial-unsized-projection.rs:14:15
|
|
|
|
|
LL | type Assert
|
|
| ------ required by a bound in this associated type
|
|
LL | where
|
|
LL | Self: Sized;
|
|
| ^^^^^ required by this bound in `Bad::Assert`
|
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
|
help: consider relaxing the implicit `Sized` restriction
|
|
|
|
|
LL | type Assert: ?Sized
|
|
| ++++++++
|
|
|
|
error: aborting due to 2 previous errors
|
|
|
|
For more information about this error, try `rustc --explain E0277`.
|