chore: use push_err more in elaborator#5336

jfecher merged 1 commit intomasternoir-lang/noir:masterfrom

tf/more-push-errnoir-lang/noir:tf/more-push-errCopy head branch name to clipboard