(C3089) Elements containing out-of-range assignments of enumerated values
An element of some subtype is assigned a value that belongs to the enumerated type, but is not in the range of the subtype.in <definition/mini-spec...> of <element name>
<the assignment expression>An enumerated typeDAYS
is defined as{MON,TUE,WED,THU,FRI,SAT,SUN}
.WEEKEND
is defined as a subtype ofDAYS {SAT,SUN}
. A mini-spec contains the following expression: