module

type Color = (red, green, blue)

proc f()
var
  a: [Color.red]Int (* @Error Array dimension must be of type 'Word' or 'Int', but got 'Color' *)
return

end.