| // Check that a constant-evaluation underflow highlights the correct | |
| // spot (where the underflow occurred), while also providing the | |
| // overall context for what caused the evaluation. | |
| const ONE: usize = 1; | |
| const TWO: usize = 2; | |
| const LEN: usize = ONE - TWO; | |
| //~^ ERROR any use of this value will cause an error | |
| fn main() { | |
| let a: [i8; LEN] = unimplemented!(); | |
| //~^ ERROR E0080 | |
| } |