I think any solution based just on the AST will be tricky to get precisely correct. e.g.

```rust
// perfectly valid
some_slice[ATOMIC_UINT.load(SeqCst)] = 1;
```