| error: unconstrained generic constant |
| --> $DIR/abstract-const-as-cast-2.rs:6:25 |
| | |
| LL | struct Foo<const N: u8>([u8; N as usize]) |
| | ^^^^^^^^^^^^^^^^ |
| | |
| = help: try adding a `where` bound using this expression: `where [(); N as usize]:` |
| |
| error: unconstrained generic constant |
| --> $DIR/abstract-const-as-cast-2.rs:12:26 |
| | |
| LL | struct Foo2<const N: u8>(Evaluatable::<{N as u128}>) where Evaluatable<{N as usize as u128 }>:; |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| | |
| = help: try adding a `where` bound using this expression: `where [(); {N as u128}]:` |
| |
| error: unconstrained generic constant |
| --> $DIR/abstract-const-as-cast-2.rs:16:25 |
| | |
| LL | struct Bar<const N: u8>([u8; (N + 2) as usize]) where [(); (N + 1) as usize]:; |
| | ^^^^^^^^^^^^^^^^^^^^^^ |
| | |
| = help: try adding a `where` bound using this expression: `where [(); (N + 2) as usize]:` |
| |
| error: aborting due to 3 previous errors |
| |
