type Enumeration = (one, two, three) var x: [3]Int := [1, 2, 3] y: []Int begin y := x[Enumeration.one to Enumeration.two] (* @Error Array index must be an integral type, but got 'Enumeration' *) end.