Ary Borenszweig

fix: cast values before inserting them in the databus

2

# Description ## Problem Resolves #8913 ## Summary Also adds a couple of validations to `make_array` in the SSA interpreter to make sure the element count matches that of the...

# Description ## Problem Resolves #6418 ## Summary I couldn't find where coercions are documented so I didn't document this. ## Additional Context ## Documentation Check one: - [x] No...

Shift-left inconsistency

1

### Aim This program: ```noir fn main() { let x: u8 = 1; println(x

fix: correctly solve paths and generics in trait default methods

1

# Description ## Problem Resolves #8632 ## Summary This PR implements a workaround for solving #8632. The correct solution would be the one described in https://github.com/noir-lang/noir/issues/9020 but, as noted there,...

### Aim This is almost a duplicate of #8632 but instead of stating the problem it states how it should work. Right now, when a trait has a default method,...

### Aim This code: ```noir trait Serialize { let N: u32; } impl Serialize for Field { let N: u32 = 1; } fn main() { let x = ::N;...

### Aim This code: ```noir fn main(x: call_data(0) u32, y: call_data(0) u32) -> return_data u32 { x + y } ``` Generates this SSA: ``` acir(inline) fn main f0 {...

Trait associated types and constants shouldn't be implicit generics

2

### Aim This code in Rust doesn't compile: ```rust trait Trait { type T; const N: usize; fn foo() -> [T; N]; } ``` The errors: ``` error[E0412]: cannot find...

The overall task is to start using the greybox fuzzer when doing `nargo test` instead of the old fuzzer. Together with this we'd like to also account for these: -...

Right now if you have code like this: ```noir pub struct Foo { } ``` then `SomeType` isn't actually solved during elaboration to find out what that type is (it...