chore: Switch Value::TraitConstraint to a resolved trait constraint#5618

jfecher merged 9 commits intomasternoir-lang/noir:masterfrom

jf/resolve-trait-constraintsnoir-lang/noir:jf/resolve-trait-constraintsCopy head branch name to clipboard