[rustc.git] / src / test / ui / consts / const-array-oob.rs

#![feature(const_indexing)]

const FOO: [usize; 3] = [1, 2, 3];
const BAR: usize = FOO[5]; // no error, because the error below occurs before regular const eval

const BLUB: [u32; FOO[4]] = [5, 6];
//~^ ERROR evaluation of constant value failed [E0080]
//~| index out of bounds: the length is 3 but the index is 4

fn main() {
    let _ = BAR;
}
Commit	Line	Data
92a42be0 SL	1	#![feature(const_indexing)]
92a42be0 SL	2
8bb4bdeb XL	3	const FOO: [usize; 3] = [1, 2, 3];
8bb4bdeb XL	4	const BAR: usize = FOO[5]; // no error, because the error below occurs before regular const eval
92a42be0 SL	5
92a42be0 SL	6	const BLUB: [u32; FOO[4]] = [5, 6];
a1dfa0c6	7	//~^ ERROR evaluation of constant value failed [E0080]
1b1a35ee	8	//~\| index out of bounds: the length is 3 but the index is 4
c34b1796 AL	9
	10	fn main() {
	11	let _ = BAR;
223e47cc	12	}