| Inna Palant | ff3f07a | 2019-07-11 16:15:26 -0700 | [diff] [blame] | 1 | #![feature(const_indexing)] |
| 2 | |
| 3 | const ARR: [i32; 6] = [42, 43, 44, 45, 46, 47]; |
| 4 | const IDX: usize = 3; |
| 5 | const VAL: i32 = ARR[IDX]; |
| 6 | const BONG: [i32; (ARR[0] - 41) as usize] = [5]; |
| Chih-Hung Hsieh | da60c85 | 2019-12-19 14:56:55 -0800 | [diff] [blame^] | 7 | const BLUB: [i32; (ARR[0] - 40) as usize] = [5]; |
| 8 | //~^ ERROR: mismatched types |
| 9 | //~| expected an array with a fixed size of 2 elements, found one with 1 element |
| 10 | const BOO: [i32; (ARR[0] - 41) as usize] = [5, 99]; |
| 11 | //~^ ERROR: mismatched types |
| 12 | //~| expected an array with a fixed size of 1 element, found one with 2 elements |
| Inna Palant | ff3f07a | 2019-07-11 16:15:26 -0700 | [diff] [blame] | 13 | |
| 14 | fn main() { |
| 15 | let _ = VAL; |
| 16 | } |
