I'm not sure that this is quite right, this code should be disallowed:

```rust
static mut FOO: AtomicUint = INIT_ATOMIC_UINT;

let foo: &mut AtomicUint = &mut FOO;
```

Could you add a test for this to make sure it's disallowed? Only `&`-pointers to shareable static muts should be allowed.