Implement constraints for all array elements

[mikir]

Currently, there is not possible to define constraints for all array elements. It is possible to define constraint only for one array element.

The following example shows workaround which can be used in case of any need of constraints for all array elements:

struct NoneZeroElement
{
    int8 element : element != 0
};

struct Test
{
    varsize numElements;
    NoneZeroElement array[numElements];
};

However, such solution is cumbersome and it would be better to support constraints for all array elements directly in language. One possible solution could be by using index operator '@':

struct Test
{
    varsize numElements;
    int8 array[numElements] : array[@] != 0;
};