DfType (@NotNull RelationType relationType, @NotNull DfType other) { if ((relationType == RelationType.EQ || relationType == RelationType.IS) && isLocal() && myConstraint.isComparedByEquals()) { return dropLocality().meetRelation(relationType, other); } return super.meetRelation(relationType, other); }