Error out if `ignoreUnsupportedConstraintTraits` has no effect#2539

Merged

david-perez merged 4 commits intomainfrom davidpz/error-out-if-ignoreUnsupportedConstraintTraits-has-no-effect

May 30, 2023

+52-18

Commits on Apr 4, 2023

Error out if ignoreUnsupportedConstraintTraits has no effect
david-perez
committed

Commits on May 29, 2023

Merge remote-tracking branch 'upstream/main' into davidpz/error-out-if-ignoreUnsupportedConstraintTraits-has-no-effect
david-perez
committed

Commits on May 30, 2023