boolean (TypeDfaState dominator, TypeDfaState dominated, Int2ObjectMap<DFAType> dominantMap) { boolean dominateByTypes = dominated.myVarTypes.isEmpty() || dominantMap == dominator.myVarTypes; if (!dominateByTypes) return false; return dominator.myProhibitedCachingVars.equals(dominated.myProhibitedCachingVars); }