3.1.1.5.3.2.1.11 Union Validation
Similar to conformant validation, this target-level implementation of these extensions SHOULD validate the discriminant of the union against the representation of the union tag, as specified in [C706] section 14.3.8. If the union correlation validation fails, the implementation MUST indicate the octet stream as invalid.