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