2 Checks for usage of `*&` and `*&mut` in expressions.
5 Immediately dereferencing a reference is no-op and
6 makes the code less clear.
9 Multiple dereference/addrof pairs are not handled so
10 the suggested fix for `x = **&&y` is `x = *&y`, which is still incorrect.