error[E0080]: evaluation of `POSITIVE::<0>::{constant#0}` failed
  --> $DIR/unsatisfied-evaluatable-bounds.rs:8:10
   |
LL |     [(); N - 1]:;
   |          ^^^^^ attempt to compute `0_usize - 1_usize`, which would overflow

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0080`.