out_of_bounds_indexing false positive

[leonardo-m]

This comes from a code reduction, so it's reasonable in its original context:

#![allow(unused_variables)]
fn main() {
    const N: usize = 1_000;
    let data = [0, 0, 0, 0];
    if N <= 4 {
        let result = data[N - 1];
    }
}

error: index out of bounds: the len is 4 but the index is 999
 --> src/main.rs:6:22
  |
6 |         let result = data[N - 1];
  |                      ^^^^^^^^^^^
  |
  = note: #[deny(const_err)] on by default