Accessing `Copy` field via `&mut` in `move` closure moves the reference instead of copying the field

I tried this code:

struct Foo(u8);

fn test(foo: &mut Foo) {
    move || {
        foo.0;
    };

    *foo = Foo(42);
}

I expected to see this happen: It compiles
Instead, this happened:

error[E0382]: use of moved value: `foo`
 --> src/lib.rs:8:5
  |
3 | fn test(foo: &mut Foo) {
  |         --- move occurs because `foo` has type `&mut Foo`, which does not implement the `Copy` trait
4 |     move || {
  |     ------- value moved into closure here
5 |         foo.0;
  |         ----- variable moved due to use in closure
...
8 |     *foo = Foo(42);
  |     ^^^^^^^^^^^^^^ value used here after move

Meta

rustc --version:

1.100.0-nightly (2026-09-18 420ed2a0c3d7225b1744)

@rustbot label A-borrow-checker A-closures

Start by compiling the minimal Rust reproduction in the issue and confirm the E0382 error. Trace how the borrow checker handles the move closure and the foo.0 field access; done means the example compiles while preserving the later *foo assignment behavior.