Wrong "cannot mutate immutable variable array (E0384)"

[xxshady]

rust-analyzer version: 0.4.1674-standalone (d3cc3bc 2023-09-25)

rustc version: 1.72.0 (5680fa18f 2023-08-23)

rust-analyzer complains about "immutable variable", but rustc compiles this code without issues

However this doesnt cause any issues:

[xxshady]

Probably related to #14463 and #14612

[HKalbasi]

Can't reproduce this. Does it happen in a standalone project? Also your playground link is empty.

[lnicola]

Yeah, it doesn't even trigger for me on:

    fn repro<'a>(&'a self, idx: usize) {
        let array = &mut self.array;
        array[idx] = 1;
    }

nor on:

    fn repro<'a>(&'a self, idx: usize) {
        let array = &self.array;
        array[idx] = 1;
    }

[xxshady]

Can't reproduce this. Does it happen in a standalone project? Also your playground link is empty.

Oh, I'm sorry: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=cc8b0dc5315b9bc75d6caa9e5faa85d4

[lnicola]

Can't reproduce, does it still show up if you restart Code?

[xxshady]

I opened project where I reproduced it and now I can't 😐
rust-analyzer version: 0.4.1674-standalone (d3cc3bc 2023-09-25)
Same RA version

[xxshady]

I'm closing issue then xd

[xxshady]

First time I got it (at the time when i could still reproduce it) after I opened this folder in vscode: https://github.com/rust-in-action/code/blob/25f2e2277cbd527ab8bf5e8b68a17672215874f3/ch5/ch5-cpu3

rust-analyzer showed error on this line: https://github.com/rust-in-action/code/blob/19c4349758b57bdb233e186746bfec03ad9ea88d/ch5/ch5-cpu3/src/main.rs#L49

[lnicola]

Still can't reproduce. I opened just that directory.

I do get errors at the bottom of the file because of the syntax errors in main, but nothing else changes if I fix them.

[xxshady]

Then there is no issue xd

[lnicola]

Well, you seem to have one, but I have no idea why.

[xxshady]

I opened project where I reproduced it and now I can't 😐

Sorry for confusion, I can't reproduce it anymore either

[xxshady]

Maybe it was caching issue or something like that

[lnicola]

If it happens again, take a look at the Output panel, there are two RA channels there. Maybe you'll find something.

[mati865]

I have encountered the same issue in some FFI code.
Reduced example:

code:

pub struct A {}
pub unsafe fn foo(a: *mut A) {
    let b = || -> *mut A { &mut *a };
    let _ = b();
}

playground link: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=6ac27c26e10eb46113dc10e88d939c60

[lnicola]

This got closed by mistake, but feel free to open a new issue if needed, xxshady.