1.0.0-beta.15 (2025-11-05)

Features

• TypeDefinition::as_type_with_generics (#10315) (e5a9309)
• ACIR: Exact element_type_sizes_array (#10188) (82ec52a)
• ACIR: Reuse element_type_sizes blocks with the same structure (#10231) (7fb2f1a)
• Add #[must_use] attribute to promote unused warning to an error (#10313) (303dd21)
• Attempt to inline successors in simplify_cfg (#9608) (8d78787)
• brillig: Automatic register deallocation (#10253) (ca04e9c)
• doc: Crate name, version, and dark mode (#10378) (05c8f7a)
• github: Add Security Policy (#10262) (42bab87)
• LSP: Show errors on stdlib files (#10283) (a43fedf)
• Nargo doc (#10314) (0a91592)
• SSA: Simplify array_get from param (#10300) (8220860)

Bug Fixes

• "No size for slice" when using black_box (#10312) (900d3c2)
• ACIR: Correct brillig parameter slice length for dynamic arrays (#10198) (0c0d8cc)
• ACIR: Correctly display the zero expression (#10124) (37f0c99)
• ACIR: Incorrect slice length in AsSlice (#10168) (5e1fe51)
• Address off-by-one error when removing casts before constraining to constant (#10194) (64d5926)
• Check value of ArraySet during array_set_optimization (#10325) (ce4b6bc)
• Do not carry over #[fold] to unconstrained functions during monomorphization (#10155) (11c175d)
• Do not replace return for databus (#10355) (dbe4d81)
• Do not simplify call-data values (#10032) (9b08130)
• elaborator: Create new type variable for each generic kind of FmtStr (#10349) (62065e8)
• elaborator: Keep the status of the outer unsafe block if the inner is unnecessary (#10361) (65a8fb0)
• Emit error on oracle functions with function bodies (#10132) (96fb819)
• mem2reg: Update array set value alias set and propagate array get result as alias (#10242) (077dd5e)
• mem2reg: Updating referenced value invalidate addresses with unknown aliases (#10175) (b16e3c6)
• print: Convert HirType::Function into PrintableType::Tuple (#10189) (577cbdc)
• Remove leading stars from block doc comments (#10316) (53da0af)
• Slice push_back when length is not known (#10206) (084629e)
• ssa-interpreter: Add integer modulus to unfit Field if the value comes from a subtraction (#10241) (acc1cbc)
• ssa-interpreter: Ignore index overflow when side effects are disabled (#10183) (f8b6e72)
• ssa: SSA Interpreter handle overflow by promoting to Field (#10097) (d09585f)
• ssa: Use Type::element_size instead of Type::flattened_size for optimize_length_one_array_read (#10146) (dbc6cfe)