| error: generic parameters must not be used inside of non trivial constant values |
| --> $DIR/wf-misc.rs:9:17 |
| | |
| LL | let _: [u8; N + 1]; |
| | ^ non-trivial anonymous constants must not depend on the parameter `N` |
| | |
| = help: it is currently only allowed to use either `N` or `{ N }` as generic constants |
| |
| error: generic parameters must not be used inside of non trivial constant values |
| --> $DIR/wf-misc.rs:17:21 |
| | |
| LL | let _: Const::<{N + 1}>; |
| | ^ non-trivial anonymous constants must not depend on the parameter `N` |
| | |
| = help: it is currently only allowed to use either `N` or `{ N }` as generic constants |
| |
| error: aborting due to 2 previous errors |
| |