Complete implementation of EnumeratorGenericConstraintsFixer.