Ary Borenszweig

feat: Push ArrayGet instructions backwards through IfElse instructions to avoid expensive array merges

7

# Description ## Problem Resolves #5501 ## Summary Implements #5501 ## Additional Context None. ## Documentation Check one: - [x] No documentation needed. - [ ] Documentation included in this...

Covariance and contravariance

21

Given: ```cr class Foo end class Bar < Foo end ``` And an array of `Bar`: ```cr array = Array(Bar).new ``` We can ask the question: is `array` an `Array(Foo)`?...

### Aim This code: ```noir struct Foo {} impl Foo { fn static_method() -> [u8; N] { [0; N] } } fn main() { let _ = Foo::::static_method::(); } ```...

Integer type not correctly inferred when unrelated trait impl exists

1

### Aim This code: ```noir trait From2 { fn from2(input: T) -> Self; } struct U60Repr {} impl From2 for U60Repr { fn from2(_: [i32; 3]) -> Self { U60Repr...

fix: transform binary operations that overflow into constrain failures

6

# Description ## Problem Resolves #8995 ## Summary The "remove unreachable instructions" now does one more thing: it replaces binary operations that are guaranteed to fail with a constrain failure,...

### Aim This code compiles fine: ```noir trait Bar { type N; } impl Bar for Field { type N = i32; } fn foo() where B: Bar, {} ```...

Trait method of parent trait isn't found on generic function argument

1

### Aim This code: ```noir pub trait Parent { fn foo(); } pub trait Child: Parent {} pub fn foo() { T::foo(); } fn main() {} ``` gives this error:...

Type alias referring to itself crashes the compiler

1

### Aim Given this code: ```noir pub type X = X; fn main() { let x: X = 1; } ``` ### Expected Behavior It should not compile, saying that...

Can't use trait with a where clause referring to a trait with associated types with bounds

2

### Aim As a follow-up to #8594, this code: ```noir trait Foo { type E: Bar; fn bar(self) -> Self::E; } trait Bar { fn bar_method(self); } trait Baz where...

Return type incorrectly deduced inside trait method

2

### Aim In this code: ```noir pub trait Trait { fn one(self) -> T; fn foo(self) { let t = self.one(); } } fn main() {} ``` We see this...