Rollup merge of #64603 - gilescope:unused-lifetime-warning, r=matthewjasper

[rust.git] / src / test / ui / consts / const-prop-ice.rs

fn main() {
    [0; 3][3u64 as usize]; //~ ERROR the len is 3 but the index is 3
}