feat: Sync from noir#12129

Closed

AztecBot wants to merge 6 commits intomasterfrom

Commits on Feb 20, 2025

[1 changes] chore: standardize that doc comments on top of statements and expression are allowed but warn (https://github.com/noir-lang/noir/pull/7450)
AztecBot
committed
chore: apply sync fixes
AztecBot
committed
[1 changes] chore: bump external pinned commits (https://github.com/noir-lang/noir/pull/7472)
AztecBot
committed
chore: apply sync fixes
AztecBot
committed
chore: bump external pinned commits (https://github.com/noir-lang/noir/pull/7472)
AztecBot
committed
Merge branch 'master' into sync-noir
TomAFrench
committed