boolean (@NotNull DfType other) { if (other == DfType.BOTTOM) return true; if (other instanceof DfEphemeralReferenceType) { return myTypeConstraint.isSuperConstraintOf(((DfEphemeralReferenceType)other).myTypeConstraint); } return false; }