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