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