2023-03-19 02:20:15 +00:00
|
|
|
error: the constant `N` is not of type `usize`
|
|
|
|
|
--> $DIR/bad-const-wf-doesnt-specialize.rs:8:29
|
2023-03-09 20:49:05 +00:00
|
|
|
|
|
|
|
|
|
LL | impl<const N: i32> Copy for S<N> {}
|
2023-03-09 22:08:48 +00:00
|
|
|
| ^^^^ expected `usize`, found `i32`
|
2023-03-19 02:20:15 +00:00
|
|
|
|
|
|
|
|
|
note: required by a bound in `S`
|
|
|
|
|
--> $DIR/bad-const-wf-doesnt-specialize.rs:6:10
|
|
|
|
|
|
|
|
|
|
|
LL | struct S<const L: usize>;
|
|
|
|
|
| ^^^^^^^^^^^^^^ required by this bound in `S`
|
2023-03-09 20:49:05 +00:00
|
|
|
|
|
|
|
|
error: aborting due to previous error
|
|
|
|
|
|
