8.6.2.4 EnumerationValue: An enumeration value is a value whose (single) type is an enumeration. Its literal must be an owned literal of its type.