cos-st-restricts.2.1: In the definition of list type 'aa....aa', type 'bb....bb' is an invalid item type because it is either a list type, or a union type that contains a list.

In the definition of the list type aa....aa, the type bb....bb is an invalid item type because it is either a list type or a union type that contains a list.