blob: 277540610864be8eb5876c261d1a3eb1789ea9f0 (
plain)
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
|
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 using this expression: `where [(); 1 - {
trait NotCopy {
const VALUE: bool = false;
}
impl<__Type: ?Sized> NotCopy for __Type {}
struct IsCopy<__Type: ?Sized>(PhantomData<__Type>);
impl<__Type> IsCopy<__Type>
where
__Type: Sized + Copy,
{
const VALUE: bool = true;
}
<IsCopy<T>>::VALUE
} as usize]:`
error: aborting due to previous error
|
