chore: Release Noir(1.0.0-beta.26)

.release-please-manifest.json

@@ -1,3 +1,3 @@
 {
-  ".": "1.0.0-beta.25"
+  ".": "1.0.0-beta.26"
 }

CHANGELOG.md

@@ -1,5 +1,25 @@
 # Changelog
 
+## [1.0.0-beta.26](https://github.com/noir-lang/noir/compare/v1.0.0-beta.25...v1.0.0-beta.26) (2026-07-29)
+
+
+### Features
+
+* Add lint registry and validate `#[allow(...)]` slugs ([#13400](https://github.com/noir-lang/noir/issues/13400)) ([a352e71](https://github.com/noir-lang/noir/commit/a352e7152a28afd5e15b363ddf32ba88df28f312))
+* **lsp:** Document symbol for type aliases and enums ([#13393](https://github.com/noir-lang/noir/issues/13393)) ([e22cd89](https://github.com/noir-lang/noir/commit/e22cd89be53c37393eed6520a2001193dd723349))
+* Silence `constant_return` warning via `#[allow(constant_return)]` ([#13399](https://github.com/noir-lang/noir/issues/13399)) ([e69bb22](https://github.com/noir-lang/noir/commit/e69bb2269c3d1c28daffcf6527692b96f25a0f80))
+
+
+### Bug Fixes
+
+* Don't trust the static type of a `u1` unchecked mul in ACIR bit bounds ([#13343](https://github.com/noir-lang/noir/issues/13343)) ([72cda84](https://github.com/noir-lang/noir/commit/72cda845a59e567f7c3d0f4e34ec4fd3b89e6856))
+* Don't warn that a struct is never constructed if it's a field of… ([#13403](https://github.com/noir-lang/noir/issues/13403)) ([ccbf297](https://github.com/noir-lang/noir/commit/ccbf297d345bcc2d312fdfa3cdf3cd8ef0cc5edd))
+* **frontend:** Require exact composite receivers for visibility ([#13347](https://github.com/noir-lang/noir/issues/13347)) ([83743f4](https://github.com/noir-lang/noir/commit/83743f42efd2cbebe4a90058bf47af97b52e696e))
+* **ssa:** Accept escapes whose predicate is constrained to one in flatten_post_check ([#13414](https://github.com/noir-lang/noir/issues/13414)) ([b4a307a](https://github.com/noir-lang/noir/commit/b4a307a047ed9393398c1f9dfd0a02088d85fc0e))
+* **ssa:** Keep retained calls in Brillig unroll cost ([#13348](https://github.com/noir-lang/noir/issues/13348)) ([2a3b642](https://github.com/noir-lang/noir/commit/2a3b64261d7a8e29ed2591234d7b1c59d7fa1a15))
+* **ssa:** Recognize negated predicates proved by a source-zero constraint in flatten_post_check ([#13417](https://github.com/noir-lang/noir/issues/13417)) ([a2c04be](https://github.com/noir-lang/noir/commit/a2c04be83dedf2e5627afca8cc4db53604af0d1b))
+* Warn on never-mutated `mut` function parameters ([#13391](https://github.com/noir-lang/noir/issues/13391)) ([072e80e](https://github.com/noir-lang/noir/commit/072e80ee8c1154c5f263affe11309f80f1a96805))
+
 ## [1.0.0-beta.25](https://github.com/noir-lang/noir/compare/v1.0.0-beta.24...v1.0.0-beta.25) (2026-07-21)
 
 
@@ -177,7 +197,7 @@
 * **nargo_doc:** Decode generic trait-impl anchors in search URLs ([#13224](https://github.com/noir-lang/noir/issues/13224)) ([4d5036f](https://github.com/noir-lang/noir/commit/4d5036fb9d6a8844e883c1e997199df549ee0fea))
 * **nargo:** Report dependency cycles using normalized manifest paths ([#13048](https://github.com/noir-lang/noir/issues/13048)) ([ef7c1c5](https://github.com/noir-lang/noir/commit/ef7c1c5df856d878926e89dcd039038e9af4afe9))
 * Nested match unreachable warning ([#13185](https://github.com/noir-lang/noir/issues/13185)) ([1c2ec0d](https://github.com/noir-lang/noir/commit/1c2ec0dc5893e0562cf5eb72b10767f30a726c3b))
 * Never lookup a path as a value from scracth, in the prefix case ([#13210](https://github.com/noir-lang/noir/issues/13210)) ([9831014](https://github.com/noir-lang/noir/commit/9831014980d94370de9c7b57888ee7ddb4ada998))
 * Order match struct-pattern fields by declaration, not field name ([#12798](https://github.com/noir-lang/noir/issues/12798)) ([94083b2](https://github.com/noir-lang/noir/commit/94083b205658b8c936f03c3a41caed659a731011))
 * **ownership:** Do not confirm/kill on assignment when `break` or `continue` is present ([#13153](https://github.com/noir-lang/noir/issues/13153)) ([83edc2a](https://github.com/noir-lang/noir/commit/83edc2a94d0ada2dbaacb67e64473afe741be0e8))
 * **ownership:** Tripwire for array/slice match patterns in ownership pass ([#12970](https://github.com/noir-lang/noir/issues/12970)) ([369ff2b](https://github.com/noir-lang/noir/commit/369ff2b19742f95ee7c2928316ce92a22c62084a))
@@ -393,7 +413,7 @@
 * Assert location is the entire assert ([#12520](https://github.com/noir-lang/noir/issues/12520)) ([d52888d](https://github.com/noir-lang/noir/commit/d52888d57c7ce960d81b4ba1f996234211f1ba24))
 * **ast_fuzzer:** Decode raw assertion payload as string when selector is unmapped ([#12536](https://github.com/noir-lang/noir/issues/12536)) ([e0b2c54](https://github.com/noir-lang/noir/commit/e0b2c541ef3e9ddbdca7930f8e158e4d22abe91a))
 * **brillig:** Fix register spill bug and refactor SpillRecord state into an enum ([#12391](https://github.com/noir-lang/noir/issues/12391)) ([41c9bbe](https://github.com/noir-lang/noir/commit/41c9bbe5cc15916874ff6c63d841b58fa273dc0f))
 * **brillig:** Guard JmpIf then-arg spill stores with the branch condi… ([#12560](https://github.com/noir-lang/noir/issues/12560)) ([9b9e34f](https://github.com/noir-lang/noir/commit/9b9e34f490713ccfe401f07492104c8effebc80f))
 * **brillig:** Use value set for tracking max live count ([#12334](https://github.com/noir-lang/noir/issues/12334)) ([2596078](https://github.com/noir-lang/noir/commit/2596078362361dd562827400a21f909d59735af8))
 * Check struct visibility after macro call expansion ([#12424](https://github.com/noir-lang/noir/issues/12424)) ([780128f](https://github.com/noir-lang/noir/commit/780128fb52606e15fb9c74bc93418143ff2a48e7))
 * **comptime:** Handle mutable tuple and struct patterns ([#12533](https://github.com/noir-lang/noir/issues/12533)) ([d504659](https://github.com/noir-lang/noir/commit/d504659d0d2ad113599321958780d10e7a5cda8b))
@@ -404,7 +424,7 @@
 * Do not skip truncating the results of field divisions ([#12582](https://github.com/noir-lang/noir/issues/12582)) ([bd6ad95](https://github.com/noir-lang/noir/commit/bd6ad95a01585194c40c59ecd8773d67889816c6))
 * **docs:** Fill in missing docs ([#12242](https://github.com/noir-lang/noir/issues/12242)) ([04a373e](https://github.com/noir-lang/noir/commit/04a373ed8e9cf67ac4f7efea14009f3c3a856d58))
 * **docs:** Update sgn0 signature from u1 to bool ([#12250](https://github.com/noir-lang/noir/issues/12250)) ([55a01b2](https://github.com/noir-lang/noir/commit/55a01b24e39a27a64107293be03342910e3032f2))
 * **docs:** Use canonical paths in llms.txt links ([#12455](https://github.com/noir-lang/noir/issues/12455)) ([5b84279](https://github.com/noir-lang/noir/commit/5b842793f635e90cfa466f13abde3bcec111aa8c))
 * Don't compute similarly named types in LSP single-file mode ([#12464](https://github.com/noir-lang/noir/issues/12464)) ([5e48b65](https://github.com/noir-lang/noir/commit/5e48b65d3d30ad9ec57ec94e5c7512d86c6e1dc1))
 * Don't crash on duplicate trait impl ([#12477](https://github.com/noir-lang/noir/issues/12477)) ([d2c1ebd](https://github.com/noir-lang/noir/commit/d2c1ebd0a8d881bcaffa6351afb42d32088e3a4c))
 * Don't drop inline trait constraints when generated via metaprogramming ([#12423](https://github.com/noir-lang/noir/issues/12423)) ([5f68596](https://github.com/noir-lang/noir/commit/5f685966dadbb42bffb46994fd49c502601525b4))
@@ -461,7 +481,7 @@
 ### ⚠ BREAKING CHANGES
 
 * remove u1 type from user-facing Noir ([#11753](https://github.com/noir-lang/noir/issues/11753))
 * remove unnecessary `state_len` argument from `poseidon2_permu… ([#11610](https://github.com/noir-lang/noir/issues/11610))
 * Remove SignedField entirely ([#11710](https://github.com/noir-lang/noir/issues/11710))
 * Default constants to u32 ([#11838](https://github.com/noir-lang/noir/issues/11838))
 * remove deprecated `StructDefinition` ([#11859](https://github.com/noir-lang/noir/issues/11859))
@@ -471,7 +491,7 @@
 
 ### Features
 
 * Allow immrefs to go from acir to brillig ([#12035](https://github.com/noir-lang/noir/issues/12035)) ([6c53b58](https://github.com/noir-lang/noir/commit/6c53b58d92c6e062ccb846bf45377737b13c23bd))
 * Avoid duplicated calculation of CFG ([#12164](https://github.com/noir-lang/noir/issues/12164)) ([fe15bae](https://github.com/noir-lang/noir/commit/fe15baeeb16aa13c81828ff807a12cce7b7e25db))
 * **brillig:** Block param coalescing ([#11621](https://github.com/noir-lang/noir/issues/11621)) ([7d07e18](https://github.com/noir-lang/noir/commit/7d07e187fb04d79f5a7cf41501d2c12bc2b1d5d2))
 * **brillig:** Function specialization for constant arguments ([#11872](https://github.com/noir-lang/noir/issues/11872)) ([20cd7b2](https://github.com/noir-lang/noir/commit/20cd7b24700018248af5b6dcc81fafb29f32b415))
@@ -494,7 +514,7 @@
 * **ssa_fuzzer:** Poseidon + compilation errors logging  ([#11877](https://github.com/noir-lang/noir/issues/11877)) ([882d7cc](https://github.com/noir-lang/noir/commit/882d7ccf90269fdc5468af98c7721bf42d388318))
 * **ssa:** Collapse redundant nested merges when flattening   ([#12116](https://github.com/noir-lang/noir/issues/12116)) ([294a558](https://github.com/noir-lang/noir/commit/294a558edffa82075bda63d3ce8fb82f15920869))
 * **ssa:** Immutable reference type ([#12182](https://github.com/noir-lang/noir/issues/12182)) ([091a2f7](https://github.com/noir-lang/noir/commit/091a2f7c1c94f284c74cd809d977856e07847645))
 * **ssa:** Iterative dominance frontiers for mem2reg_simple (Cytron et. al 1991)  ([#12091](https://github.com/noir-lang/noir/issues/12091)) ([2d3e6c6](https://github.com/noir-lang/noir/commit/2d3e6c60c0b61bfe6907cf303383c445f5adde8e))
 * **ssa:** More aggressive Brillig loop unrolling ([#7236](https://github.com/noir-lang/noir/issues/7236)) ([8e57c6b](https://github.com/noir-lang/noir/commit/8e57c6b3abcdbe6891225d6b29fb8780dc0414a1))
 * **ssa:** Remove redundant block params ([#12047](https://github.com/noir-lang/noir/issues/12047)) ([c033e48](https://github.com/noir-lang/noir/commit/c033e48bb813206dd272c1d24ea3c220f69f3fc4))
 * **ssa:** Replace most usage of old mem2reg pass ([#11935](https://github.com/noir-lang/noir/issues/11935)) ([b48edd4](https://github.com/noir-lang/noir/commit/b48edd44c613d05ee8ecc1764fce300308df27dd))
@@ -551,7 +571,7 @@
 * Default constants to u32 ([#11838](https://github.com/noir-lang/noir/issues/11838)) ([53f935e](https://github.com/noir-lang/noir/commit/53f935e3afd436d8e4f50aafdbc49570124c5a95))
 * Desugar op-assign during elaboration to avoid double evaluation of lvalues ([#12123](https://github.com/noir-lang/noir/issues/12123)) ([89f0a75](https://github.com/noir-lang/noir/commit/89f0a75390ede7f78cb8f0d4f4837d5c4ecb9052))
 * Detect unconstrained callees via type for indirect calls ([#11657](https://github.com/noir-lang/noir/issues/11657)) ([2f24b9a](https://github.com/noir-lang/noir/commit/2f24b9af9f705984b3ecd65b8461d6e97f5990be))
 * Disallow mutating non-mutable references (owernship feature) ([#11674](https://github.com/noir-lang/noir/issues/11674)) ([f179cc0](https://github.com/noir-lang/noir/commit/f179cc05ee5fc76b0260b70b3f4d09fa4d9b0d4b))
 * Disallow`impl Trait` in invalid type positions ([#11944](https://github.com/noir-lang/noir/issues/11944)) ([1f71261](https://github.com/noir-lang/noir/commit/1f712610f10359b715bfb97e9c9cd3db61489917))
 * Do not nest semi-colon inside Comptime statements ([#11640](https://github.com/noir-lang/noir/issues/11640)) ([26d12a0](https://github.com/noir-lang/noir/commit/26d12a0220a7ee8c942b647031ab9dc4c4965337))
 * **doc:** Double-reexport can lead to empty module ([#11665](https://github.com/noir-lang/noir/issues/11665)) ([85aae28](https://github.com/noir-lang/noir/commit/85aae2838b6b7d718675c485cd63b2929f184b3e))
@@ -605,7 +625,7 @@
 * Parse `&&x` and `&&mut x` as nested references ([#11920](https://github.com/noir-lang/noir/issues/11920)) ([bff6227](https://github.com/noir-lang/noir/commit/bff6227a03869d7436d2c228e63f2064fd8bc20c))
 * **parser:** Handle member access in `Parser::parse_statement_or_expression_or_lvalue`  ([#11822](https://github.com/noir-lang/noir/issues/11822)) ([d100770](https://github.com/noir-lang/noir/commit/d100770fdd0fa4dc7292d19aadfcb33b5451651a))
 * Perform abi check on struct on declaration, not usage ([#11628](https://github.com/noir-lang/noir/issues/11628)) ([a4c32f0](https://github.com/noir-lang/noir/commit/a4c32f0c7e5eb6b71391f69bd1b526a8df7c98fb))
 * Perserve comptime struct field order ([#11804](https://github.com/noir-lang/noir/issues/11804)) ([cd41829](https://github.com/noir-lang/noir/commit/cd418293cfaa6f003333b53e8a2b50d860737bb2))
 * Preserve comptime string bytes ([#12068](https://github.com/noir-lang/noir/issues/12068)) ([16c225b](https://github.com/noir-lang/noir/commit/16c225bbd81ad59479378f037756d9a1a67acb1d))
 * Preserve side-effects predicate for heterogeneous vector_push_back ([#11664](https://github.com/noir-lang/noir/issues/11664)) ([325fd70](https://github.com/noir-lang/noir/commit/325fd70080a94ccfe345c008dc9c45296ebba5cc))
 * Prevent crash when resolving method in trait impl with unknown t… ([#11656](https://github.com/noir-lang/noir/issues/11656)) ([7cff3a6](https://github.com/noir-lang/noir/commit/7cff3a6c2e989f220429bccc9d03177c2eb8c49c))
@@ -646,7 +666,7 @@
 * Treat uses of comptime globals identically to `comptime { GLOBAL_NAME }` ([#11627](https://github.com/noir-lang/noir/issues/11627)) ([947f6a3](https://github.com/noir-lang/noir/commit/947f6a3a0e0199c3ea1cc074c40f373c45180186))
 * Type alias in closure environment ([#11941](https://github.com/noir-lang/noir/issues/11941)) ([b9e99b9](https://github.com/noir-lang/noir/commit/b9e99b9297f08ff909c4d941c3dcbe008745932b))
 * Unwrap expr in comptime is_break/is_continue/has_semicolon ([#11805](https://github.com/noir-lang/noir/issues/11805)) ([17f185d](https://github.com/noir-lang/noir/commit/17f185dc97dc262f9b119f89c99a8142f6998e8a))
 * Update rustls-webpki to 0.103.10 (RUSTSEC-2026-0049) ([#11942](https://github.com/noir-lang/noir/issues/11942)) ([66086a0](https://github.com/noir-lang/noir/commit/66086a0e9aa2fb16850b0b1ccb4bc06e40e5ec0c))
 * Use 0, 0 for point at infinity ([#11925](https://github.com/noir-lang/noir/issues/11925)) ([33d3de7](https://github.com/noir-lang/noir/commit/33d3de7464fbddf5b27a351ecc4d01e6deabcaa7))
 * Use correct types for Prover.toml template ([#11693](https://github.com/noir-lang/noir/issues/11693)) ([71c0384](https://github.com/noir-lang/noir/commit/71c03848e5f26c478bea51e2ed36f0e759aa4e7f))
 * Use repeated array literal in monomorphization zeroed ([#12105](https://github.com/noir-lang/noir/issues/12105)) ([bd62a75](https://github.com/noir-lang/noir/commit/bd62a7551b43c818aae00542205d053687c427d1))