src/test/ui/const-generics/generic_const_exprs/abstract-const-as-cast-2.stderr

   1 error: unconstrained generic constant
   2   --> $DIR/abstract-const-as-cast-2.rs:6:25
   3    |
   4 LL | struct Foo<const N: u8>([u8; N as usize])
   5    |                         ^^^^^^^^^^^^^^^^
   6    |
   7    = help: try adding a `where` bound using this expression: `where [(); N as usize]:`
   8
   9 error: unconstrained generic constant
  10   --> $DIR/abstract-const-as-cast-2.rs:12:26
  11    |
  12 LL | struct Foo2<const N: u8>(Evaluatable::<{N as u128}>) where Evaluatable<{N as usize as u128 }>:;
  13    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^
  14    |
  15    = help: try adding a `where` bound using this expression: `where [(); {N as u128}]:`
  16
  17 error: unconstrained generic constant
  18   --> $DIR/abstract-const-as-cast-2.rs:16:25
  19    |
  20 LL | struct Bar<const N: u8>([u8; (N + 2) as usize]) where [(); (N + 1) as usize]:;
  21    |                         ^^^^^^^^^^^^^^^^^^^^^^
  22    |
  23    = help: try adding a `where` bound using this expression: `where [(); (N + 2) as usize]:`
  24
  25 error: aborting due to 3 previous errors
  26