parse block and if statements independently of expressions in statements (#5634)
frontend: Restrict numeric generic types to unsigned ints up to u32 (#5581)

Features

acir_gen: Width aware ACIR gen addition (#5493) (85fa592)
Add FunctionDefinition::parameters, FunctionDefinition::return_type and impl Eq for Quoted (#5681) (d52fc05)
Add std::meta::type_of and impl Eq for Type (#5669) (0503956)
Add TraitDefinition::as_trait_constraint() (#5541) (0943223)
Add Type::as_struct (#5680) (ade69a9)
Add Type::is_field and Type::as_integer (#5670) (939357a)
Add Type methods: as_tuple, as_slice, as_array, as_constant, is_bool (#5678) (604fa0d)
Add a compile-time hash map type (#5543) (c6e5c4b)
Add a limited form of arithmetic on generics (#5625) (0afb680)
Add parameter to call_data attribute (#5599) (e8bb341)
Allow inserting LSP inlay type hints (#5620) (b33495d)
Avoid heap allocs when going to/from field (https://github.com/AztecProtocol/aztec-packages/pull/7547) (daad75c)
Derive Ord and Hash in the stdlib; add std::meta::make_impl helper (#5683) (38397d3)
Don't eagerly error on cast expressions (#5635) (0ca5d9d)
Implement poseidon2_permutation in comptime interpreter (#5590) (89dfbbf)
Implement Value::Type in comptime interpreter (#5593) (4c3bf97)
Implement zeroed in the interpreter (#5540) (ff8ca91)
Implement closures in the comptime interpreter (#5682) (9e2a323)
Implement format strings in the comptime interpreter (#5596) (fd7002c)
Integrate new proving systems in e2e (https://github.com/AztecProtocol/aztec-packages/pull/6971) (daad75c)
Let filenames in errors be relative to the current dir if possible (#5642) (f656681)
Let LSP work will with code generated by macros (#5665) (8122624)
LSP closing brace hints (#5686) (2b18151)
LSP hover now includes "Go to" links (#5677) (d466d49)
LSP inlay parameter hints (#5553) (822fe2c)
LSP inlay type hints on lambda parameters (#5639) (80128ff)
Make Brillig do integer arithmetic operations using u128 instead of Bigint (https://github.com/AztecProtocol/aztec-packages/pull/7518) (daad75c)
noir_js: Expose UltraHonk and integration tests (#5656) (4552b4f)
Remove 'comptime or separate crate' restriction on comptime code (#5609) (1cddf42)
Resolve arguments to attributes (#5649) (e139002)
ssa: Simple serialization of unoptimized SSA to file (#5679) (07ea107)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7432) (daad75c)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7444) (daad75c)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7454) (daad75c)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7512) (daad75c)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7577) (daad75c)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7583) (daad75c)
Turbofish in struct pattern (#5616) (b3c408b)
Turbofish operator in struct constructor (#5607) (106abd7)
Turbofish operator on path segments (#5603) (0bb8372)
Typing return values of embedded_curve_ops (https://github.com/AztecProtocol/aztec-packages/pull/7413) (daad75c)

Bug Fixes

'cannot eval non-comptime global' error (#5586) (0a987c7)
NoMatchingImplFound in comptime code only (#5617) (28211a3)
Add trailing extra arguments for backend in gates_flamegraph (https://github.com/AztecProtocol/aztec-packages/pull/7472) (daad75c)
Allow calling a trait method with paths that don't consist of exactly two segments (#5577) (88c0a40)
Allow trailing comma when parsing where clauses (#5594) (75bfe13)
Allow using Self for function calls (#5629) (b7e4f42)
Correct span for prefix operator (#5624) (5824785)
Correctly track sources for open LSP documents (#5561) (9e61e97)
Derive generic types (#5674) (19e58a9)
Don't panic when a macro fails to resolve (#5537) (6109ddc)
Elaborate struct & trait annotations in the correct module (#5643) (d0a957b)
Error on duplicate struct field (#5585) (3aed671)
Error on incorrect generic count for impl and type alias (#5623) (1f5d000)
Error on trait impl generics count mismatch (#5582) (da3d607)
Error on unbound generics in structs (#5619) (efef6b4)
Filter comptime globals (#5538) (2adc6ac)
Fix uhashmap test name (#5563) (d5de83f)
Fix occurs check (#5535) (51dd529)
Fix where clause issue in items generated from attributes (#5673) (9a8cfc9)
frontend: Disallow signed numeric generics (#5572) (2b4853e)
frontend: Error for when impl is stricter than trait (#5343) (ece033f)
frontend: Restrict numeric generic types to unsigned ints up to u32 (#5581) (b85e764)
Let a trait impl that relies on another trait work (#5646) (e00c370)
Let std::unsafe::zeroed() work for slices (#5592) (7daee20)
Let trait calls work in globals (#5602) (c02a6f6)
Let unary traits work at comptime (#5507) (aa62d8a)
Lookup trait constraints methods in composite types (#5595) (cec6390)
Parse block and if statements independently of expressions in statements (#5634) (9341113)
Revert "feat: Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7512)" (https://github.com/AztecProtocol/aztec-packages/pull/7558) (daad75c)
Run macros within comptime contexts (#5576) (df44919)
Speed up LSP (#5650) (e5f1b36)
ssa: More robust array deduplication check (#5547) (dd89b90)
Switch verify proof to arrays (#5664) (c1ed9fb)
Type_of for pointer types (#5536) (edb3810)
Workaround from_slice with nested slices (#5648) (6310a55)