Verify trait constraints arising from function calls

[jfecher]

Aim

verify_trait_constraint is only called for method calls currently, leading to trait constraints from other sources (variable references, and function calls namely) never being verified.

Expected Behavior

foo(a, b) verifies any trait constraints required by foo are valid.

Bug

If foo(a, b) requires a trait constraint with no matching impl, the compiler will panic during monomorphization.

To Reproduce

Installation Method

None

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response