@Override public JSType caseAllType() { return caseTopType(getNativeType(ALL_TYPE)); }
@Override public JSType caseUnknownType() { return caseTopType(getNativeType(CHECKED_UNKNOWN_TYPE)); }
@Override public JSType caseAllType() { return caseTopType(getNativeType(ALL_TYPE)); }
@Override public JSType caseUnknownType() { return caseTopType(getNativeType(CHECKED_UNKNOWN_TYPE)); }