1  program b28676.alpha {
 2      const N: u32 = 2u32;
 3  
 4      transition main() -> u32 {
 5          for i in 0u32..5u32 {
 6              let arr: [u32; i] = [1u32, 2u32]; // this should fail for all iterations except 2
 7          }
 8          return 0u32;
 9      }
10  }