Constraint involving queues and arrays

In reply to ABD_91:

It’s all legal syntax. The current LRM has a semantic restriction not allowing a random index selecting parts of a random variable. In the example above, array is a state variable and i is an iterative loop variable.