DfType (@NotNull DfType dfType) { DfType fromQualifier = super.getFromQualifier(dfType); DfType unboxedType = TypeConstraint.fromDfType(dfType).getUnboxedType(); if (unboxedType != DfType.BOTTOM) { return fromQualifier.meet(unboxedType); } return fromQualifier; }