Given the following schema, I contend that ConstrainedContentSequence is not extensible, does not allow values having more than 8 Content values, and that a value of type ConstrainedContentSequence would be encoded in PER without an extension bit. A colleague finds this surprising because the added constraint is aimed at the component type of the SEQUENCE OF, not at the SEQUENCE OF itself, and yet the extensibility on the SEQUENCE OF type is removed. Technically, however, the added constraint is a constraint on the SEQUENCE OF; it just has the effect of constraining the component values.

We’re looking to verify the above contention is correct.

Content ::= INTEGER(1..16)
ContentSequence ::= SEQUENCE SIZE(1..8, ...) OF Content
ConstrainedContentSequence ::= ContentSequence (WITH COMPONENT (1..7))