Ary Borenszweig

# Description ## Problem Without a span, LSP's document symbol crashed. ## Summary Replaces a default span with a correct one. ## Additional Context ## Documentation Check one: - [x]...

# Description ## Problem Manually arranging imports is time consuming. ## Summary Added two new configurations, `reorder_imports` (true by default) and `imports_granularity` (`Preserve` by default), similar to the ones found...

# Description ## Problem Resolves #6023 ## Summary It turns out that checking a trait's `where` clause is very similar to checking parent traits: for parent traits the type to...

Trait where clause isn't type-checked

2

### Aim This program: ```noir trait Foo where U: Uknown {} fn main( ) {} ``` doesn't give an error. ### Expected Behavior The compiler should say that it can't...

# Description ## Problem Resolves #5584 Resolves #6000 ## Summary Also errors if you have something like this: ```noir this_is_a_module::::foo(); ^^^^^ turbofish not allowed on module `this_is_a_module` ``` ## Additional...

### Problem This code should compile: ```noir struct Foo { x: T, } impl Foo { fn new(x: T) -> Self { Foo { x } } } type Bar...

### Problem This should compile: ```noir trait Foo { fn foo(x: T) -> Self; } struct Bar {} impl Foo for Bar { fn foo(x: i32) -> Self { Bar...

LSP: show "noir-lsp" widget at the bottom of the editor for accessing potential errors

1

### Problem Rust Analyzer adds a small widget at the bottom of the editor:  Clicking it you are taken to the LSP server output. When there are errors, that...

### Problem Once #6221 is merged, this code: ```noir mod moo { pub struct Foo { x: Field } } fn main() { let _ = moo::Foo { x: 1...

### Aim In #6221 we'll introduce struct field visibility. The existing macro methods for dealing with struct fields don't know about visibility, but they probably should. ### Expected Behavior There...