Trait methods are not found on mut references

[Thunkar]

Aim

Use a Trait implemented method on a mutable reference of an object. The trait method uses &mut self on its definition:

trait SomeTrait {
    fn set_value(&mut self, new_value: Field) -> ();
}

struct AType {
    x: Field
}

impl AType {
    fn new(x: Field) -> Self {
        AType { x }
    }

    fn set_a_different_value(&mut self, new_value: Field) -> () {
        self.x = new_value;
    }
}

impl SomeTrait for AType {
    fn set_value(&mut self, new_value: Field) -> () {
        self.x = new_value;
    }
}

fn fail(a_mut_ref: &mut AType) {
    a_mut_ref.set_value(1); // --> Fails with: No matching impl found for `&mut AType: SomeTrait`
    AType::set_value(a_mut_ref, 1); // --> Workaround!
}

fn works(a_mut_ref: &mut AType) {
    a_mut_ref.set_a_different_value(2);
}

fn main() {
    let mut a_mut_ref = AType::new(0);
    works(&mut a_mut_ref);
    fail(&mut a_mut_ref);
    assert(a_mut_ref.x == 1);
}

Expected Behavior

The above code should compile

Bug

The compiler throws a No matching impl found for &mut AType: SomeTrait error if trying to use the method on the mutable reference directly. However, desugaring the expression works!

fn fail(a_mut_ref: &mut AType) {
    a_mut_ref.set_value(1); // --> Fails with: No matching impl found for `&mut AType: SomeTrait`
    AType::set_value(a_mut_ref, 1); // --> Workaround!
}

To Reproduce

See reproduction

Installation Method

Compiled from source

Nargo Version

nargo version = 0.22.0 (git version hash: 5bf66e1889c91b2fac1c4a20dc04734d0ddf03ae)

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[jfecher]

The test in this example works in #4152