fix: Numeric generics with impls error

[vezenovm]

Related issue(s)

Resolves #

Description

In aztec3-packages we get this error on the vec type in the Noir contracts:

error: Integer cannot be used with type error
   ┌─ /Users/aztec/Documents/GitHub/aztec3-packages/yarn-project/noir-contracts/src/contracts/zk_token_contract/../noir-aztec3/src/types/vec.nr:18:19
   │
18 │         constrain self.len as u64 < MaxLen as u64;
   │                   -------------------------------

error: aborting due to 1 previous errors

This was due to a mismatched ordering when reporting errors in the type rules. I added a regression test in the numeric_generics test under the nargo_cli.

Summary of changes

Dependency additions / changes

Test additions / changes

Checklist

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt with default settings.
• I have linked this PR to the issue(s) that it resolves.
• I have reviewed the changes on GitHub, line by line.
• I have ensured all changes are covered in the description.

Documentation needs

• This PR requires documentation updates when merged.

Additional context

[joss-aztec]

This fixed worked for me when trying to compile the BoundedVec type in the aztec 3 contracts