But this doesn't mean that this is valid code, right?

```rust
struct A {
  #[mutable]
  a: int
}

fn main() {
  let a = A{ a: 3 };
  a.a = 4;
}
```