[Bug][move-compiler-v2] *&mut {s.x} = causes STLOC_TYPE_MISMATCH_ERROR

[zzjas]

🐛 Bug

//# publish
module 0xCAFE::Module0 {
    struct S {
        x: bool,
    }
    public fun f(): S {
        let s = S { x: false, };
        *&mut {s.x} = true;
        s
    }
}

V1 compiles fine. V2 gives:

bug: bytecode verification failed with unexpected status code `STLOC_TYPE_MISMATCH_ERROR`. This is a compiler bug, consider reporting it.
  ┌─ ~/debug_package/sources/MoveSmith.move:8:16
  │
8 │         *&mut {s.x} = true;
  │