Re: ConstraintKinds seems to be automatically enabled