@Override
  public DfType widen() {
    if (myDropConstantOnWiden) {
      return new DfGenericObjectType(Set.of(), myConstraint, DfaNullability.NOT_NULL, myMutability,
                                     myJvmSpecialField, mySpecialFieldType.widen(), false);
    }
    return this;
  }
@Override
  public DfType widen()