mirror of https://github.com/rust-lang/rust
65 lines
1.5 KiB
Plaintext
65 lines
1.5 KiB
Plaintext
error: unconstrained generic constant
|
|
--> $DIR/issue-71202.rs:11:5
|
|
|
|
|
LL | / const ITEM_IS_COPY: [(); 1 - {
|
|
LL | | trait NotCopy {
|
|
LL | | const VALUE: bool = false;
|
|
LL | | }
|
|
... |
|
|
LL | | <IsCopy<T>>::VALUE
|
|
LL | | } as usize] = [];
|
|
| |_____________________^
|
|
|
|
|
help: try adding a `where` bound
|
|
|
|
|
LL ~ } as usize] where [(); 1 - {
|
|
LL + trait NotCopy {
|
|
LL + const VALUE: bool = false;
|
|
LL + }
|
|
LL +
|
|
LL + impl<__Type: ?Sized> NotCopy for __Type {}
|
|
LL +
|
|
LL + struct IsCopy<__Type: ?Sized>(PhantomData<__Type>);
|
|
LL +
|
|
LL + impl<__Type> IsCopy<__Type>
|
|
LL + where
|
|
LL + __Type: Sized + Copy,
|
|
LL + {
|
|
LL + const VALUE: bool = true;
|
|
LL + }
|
|
LL +
|
|
LL + <IsCopy<T>>::VALUE
|
|
LL ~ } as usize]: = [];
|
|
|
|
|
|
|
error: unconstrained generic constant
|
|
--> $DIR/issue-71202.rs:28:19
|
|
|
|
|
LL | } as usize] = [];
|
|
| ^^
|
|
|
|
|
help: try adding a `where` bound
|
|
|
|
|
LL ~ } as usize] where [(); 1 - {
|
|
LL + trait NotCopy {
|
|
LL + const VALUE: bool = false;
|
|
LL + }
|
|
LL +
|
|
LL + impl<__Type: ?Sized> NotCopy for __Type {}
|
|
LL +
|
|
LL + struct IsCopy<__Type: ?Sized>(PhantomData<__Type>);
|
|
LL +
|
|
LL + impl<__Type> IsCopy<__Type>
|
|
LL + where
|
|
LL + __Type: Sized + Copy,
|
|
LL + {
|
|
LL + const VALUE: bool = true;
|
|
LL + }
|
|
LL +
|
|
LL + <IsCopy<T>>::VALUE
|
|
LL ~ } as usize]: = [];
|
|
|
|
|
|
|
error: aborting due to 2 previous errors
|
|
|