We run clippy as part of CI, with the following flags:

These flags were chosen when we added clippy to minimize the amount of re-writing of code. However, we should revisit these flags to increase the number of checks clippy is helping us with by improving the source tree incrementally.