This repository has been archived by the owner on Feb 17, 2024. It is now read-only.
Clarify usage of enum
in a union type
#712
Milestone
enum
in a union type
#712
Any type declaration may have an
enum
facet. In the context of a union type, this means that each value of theenum
should match at least one of the super type declaration. We should make that clear.Proposed clarification
if the facet "enum" is declared in a union type, each value of that "enum" MUST match at least one of its super types
The text was updated successfully, but these errors were encountered: