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