类型为枚举字面量的元素通过所属的枚举和字面量名称来匹配。
约束：
转换：
【译者注：既然约束中提到了顺序，那就是说顺序是有意义的，那么不匹配的字面量以何种顺序被包含进来呢？考虑如下的情况：枚举E1: {A, B, C, E}，枚举E2: {A, C, D, F}，E1和E2的合并结果中E、D、F的顺序如何？】