@Override
  public DfType widen() {
    DfType wideSpecialField = mySpecialFieldType.widen();
    if (!wideSpecialField.equals(mySpecialFieldType)) {
      return new DfGenericObjectType(myNotValues, myConstraint, myNullability, myMutability, mySpecialField, wideSpecialField, myLocal);
    }
    return this;
  }
@Override
  public DfType widen()