e0bd01167e
...and remove the `const_arg_path` feature gate as a result. It was only a stopgap measure to fix the regression that the new lowering introduced (which should now be fixed by this PR).
23 lines
693 B
Plaintext
23 lines
693 B
Plaintext
error: the constant `N` is not of type `usize`
|
|
--> $DIR/bad-subst-const-kind.rs:8:26
|
|
|
|
|
LL | impl<const N: u64> Q for [u8; N] {
|
|
| ^^^^^^^ expected `usize`, found `u64`
|
|
|
|
error: the constant `13` is not of type `u64`
|
|
--> $DIR/bad-subst-const-kind.rs:13:24
|
|
|
|
|
LL | pub fn test() -> [u8; <[u8; 13] as Q>::ASSOC] {
|
|
| ^^^^^^^^ expected `u64`, found `usize`
|
|
|
|
|
note: required for `[u8; 13]` to implement `Q`
|
|
--> $DIR/bad-subst-const-kind.rs:8:20
|
|
|
|
|
LL | impl<const N: u64> Q for [u8; N] {
|
|
| ------------ ^ ^^^^^^^
|
|
| |
|
|
| unsatisfied trait bound introduced here
|
|
|
|
error: aborting due to 2 previous errors
|
|
|