What about

```rust
static mut SHARABLE: *mut int = ...;

*SOME_SHARE = 1

static mut ANOTHER_SHARE: ... = ...;

*ANOTHER_SHARE.returns_mut_ref_safely() = 1;
```

It's a little weird having indexing-on-the-LHS-of-assign validated by code that's well removed from the assignment code.