JSType meet ( JSType that ) { JSType meetPrimitive = primitiveType . getGreatestSubtype ( that ) ; if ( meetPrimitive . isEmptyType ( ) ) { return null ; } else { return new EnumElementType ( registry , meetPrimitive , name , getEnumType ( ) ) ; } }
Returns the infimum of a enum element type and another type or null if the infimum is empty .