master

fix: transformation of unconstrained contract library methods (#12746)

We were not discarding contract library methods when searching for
top-level unconstrained fns, and so any such function would get the
`UnconstrainedContext` initialization injected, resulting in the
correspoding oracle calls being included. If this were to be called from
public, the transpiler would fail due to the unknown oracles, resulting
in unconstrained contract library methods being unusable in public (and
likely in private too, though this would fail at runtime).

I opened https://github.com/AztecProtocol/aztec-packages/issues/12743 to
track the work in formalizing the notion of top-level unconstrained fns
(soon to be `#[query]` or `#[app-query]` or `#[application]` or
_something_).

Fixes https://github.com/AztecProtocol/aztec-packages/issues/12732

nightly

feat: Sync from noir (#11138)

Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
feat!: require trait primitive functions/calls to have their trait in
scope (https://github.com/noir-lang/noir/pull/6901)
feat(lsp): use trait method docs for trait impl method docs on hover
(https://github.com/noir-lang/noir/pull/7003)
chore: turn on averaging for protocol circuits metrics in CI
(https://github.com/noir-lang/noir/pull/6999)
feat(comptime): Implement to_be_bits and to_le_bits in the interpreter
(https://github.com/noir-lang/noir/pull/7008)
chore: Add short circuit in ssa-gen for known if conditions
(https://github.com/noir-lang/noir/pull/7007)
chore: Only resolved globals monomorphization
(https://github.com/noir-lang/noir/pull/7006)
chore: Remove resolve_is_unconstrained pass
(https://github.com/noir-lang/noir/pull/7004)
chore: require safety doc comment for unsafe instead of `//@safety`
(https://github.com/noir-lang/noir/pull/6992)
fix: Reproduce and fix bytecode blowup
(https://github.com/noir-lang/noir/pull/6972)
chore: mark casts as able to be deduplicated
(https://github.com/noir-lang/noir/pull/6996)
fix: return trait impl method as FuncId if there's only one
(https://github.com/noir-lang/noir/pull/6989)
chore(ci): fail properly in `external-repo-checks`
(https://github.com/noir-lang/noir/pull/6988)
fix: allow multiple trait impls for the same trait as long as one is in
scope (https://github.com/noir-lang/noir/pull/6987)
chore: Use DFG in SSA printer
(https://github.com/noir-lang/noir/pull/6986)
chore!: Reserve `enum` and `match` keywords
(https://github.com/noir-lang/noir/pull/6961)
END_COMMIT_OVERRIDE

---------

Co-authored-by: Tom French <tom@tomfren.ch>