chore: Release Noir(1.0.0-rc.2) - #13645

🤖 I have created a release beep boop

1.0.0-rc.2 (2026-09-16)

Features

• nargo: Reuse the elaborated context across tests in nargo test (#13633) (73f7ff0)
• ssa: Lower array-initialisation array_set chains to make_array (#13635) (db43075)
• ssa: Predicate trivial conditionals instead of leaving them to flattening (#13643) (2e3caac)

Bug Fixes

• acir_field: Make recovers_original_hex_string test the hex round trip (#13681) (8c78b45)
• acvm: Stop the blackbox injectivity proptests generating all-zero inputs (#13680) (3cb916c)
• artifact_cli: Read the artifact file the caller named (#13683) (42fd3eb)
• ast_fuzzer: Draw u128 inputs from the whole u128 range (#13687) (f2950ef)
• brillig: Don't let array length arithmetic wrap (#13690) (9218500)
• Compare implicit named generics by type variable, not by printed name (#13648) (d3738fd)
• Do not cancel the repeated term of N - (M + N) (#13661) (dd4c67c)
• Eval_const_binary executes unchecked ops right away in ACIR (#13743) (fa94942)
• fmt: Keep Safety: marker lines at paragraph start when reflowing comments (#13650) (9232ef7)
• frontend: Check CheckedCasts in monomorphization without binding their type variables (#13647) (e626290)
• frontend: Check that monomorphization leaves every piece of interner state the right size (#13642) (14852a8)
• frontend: Check that monomorphization left the elaborated context as it found it (#13639) (d86fd0a)
• frontend: Check that the program monomorphization produces holds together (#13644) (45ce151)
• frontend: Fold Field division in type-level arithmetic (#13664) (c006ff9)
• frontend: Fold N * 0 to 0 in type-level arithmetic (#13665) (b4298ff)
• frontend: Give each function body its own elaborator item context (#13696) (1e653a5)
• frontend: Imply bounds declared on associated types (#13669) (bac317b)
• frontend: Only apply the self_type method visibility shortcut to methods from the current crate (#13649) (b162478)
• frontend: Qualify the trait in an associated item's generic name (#13651) (165e63f)
• frontend: Report a Type::item path that names no associated item (#13666) (43c4ba1)
• frontend: Report an impl method that equates two bounds' associated items as stricter than the trait (#13655) (f6ee621)
• frontend: Resolve deferred data types behind every edge a whole-type check follows (#13756) (9876e7e)
• frontend: Restore type variable bindings on every path out of monomorphization (#13637) (8dcefea)
• frontend: Undo the bindings an impl search makes while monomorphizing a trait method (#13638) (7b5ea19)
• lsp: Render &self receivers as &self in completion items (#13700) (89c202d)
• nargo_doc: Keep the grouping of nested numeric generic expressions (#13677) (4bfc9b0)
• nargo_doc: Render &self receivers as &self (#13676) (935d95d)
• nargo_fmt: Remove empty use lists instead of turning them into imports (#13678) (1aaf1e4)
• noirc_abi: Don't let AbiType::field_count wrap (#13684) (ba20062)
• ssa: Check the radix range before computing radix - 1 in constant_to_radix (#13682) (689753e)
• ssa: Don't inline a block into itself in simplify_cfg (#13672) (ad4f96e)
• ssa: Drain visit-once queues iteratively so wide array literals don't overflow the stack (#13702) (6723512)
• ssa: Follow alias chains through Call/ArraySet/IfElse when inval… (#13701) (65f7034)
• ssa: Follow alias-returning calls when invalidating constant folding's array cache (#13697) (43e060d)
• ssa: Only derive loop bounds from a header guard that exits the loop (#13754) (49bb05d)
• ssa: Reject not on a field in the SSA validator (#13685) (091fd9e)
• ssa: Reject duplicate block labels and function ids in the SSA parser (#13688) (b56d722)
• ssa: Visit each value once when invalidating constant folding's array cache (#13695) (80e295e)
• stdlib: Close the wrapping-sub-trait and wrapping-mul-trait doc snippets (#13692) (be20618)
• test: Sum counts before dividing in the AST fuzzer calibration frequencies (#13724) (4ea0a28)

This PR was generated with Release Please. See documentation.