noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

https://noir-lang.org

Apache License 2.0

821 stars 177 forks source link

chore: use `push_err` more in elaborator #5336

Closed TomAFrench closed 4 days ago

TomAFrench commented 4 days ago

Description

Problem*

Resolves

Summary*

Quick PR to make more use of the push_err helper when creating errors in the elaborator.

Additional Context

Documentation*

Check one:

[x] No documentation needed.
[ ] Documentation included in this PR.
[ ] [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

[x] I have tested the changes locally.
[x] I have formatted the changes with Prettier and/or cargo fmt on default settings.