Module correctness

Lints that check for outright incorrect code.

Unlike suspicious lints, these are carefully picked to be free of false positives. You should avoid #[allow(...)]-ing these lints without a very good reason.

These lints are deny by default.