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`.