Reimplement additional mypy error codes

[ngnpope]

Description

There are a number of extra error codes not enabled by default in mypy, many of which are very handy:

enable_error_code = [
    "deprecated",
    "explicit-override",
    "ignore-without-code",
    "mutable-override",
    "possibly-undefined",
    "redundant-expr",
    "redundant-self",
    "truthy-bool",
    "truthy-iterable",
    "unimported-reveal",
    "unused-awaitable",
]

It would be useful for these to be reimplemented under ruff/red-knot.

Related issues:

• Static type checking à la mypy #3893
• Reimplement popular Mypy plugins #15828

[MichaReiser]

Thanks for the suggestion.

Just skimming through. To me it seems that most of them require multifile analysis to be useful and Ruff doesn't support that yet. That's why I'm inclined to close the issue as it isn't actionable until we implement multifile analysis (which we're working on but it isn't just around the corner).

It's also likely that we implement some of those checks as part of red-knot, our work-in progress type checkers.

Related issue: #9833

[ngnpope]

It's also likely that we implement some of those checks as part of red-knot, our work-in progress type checkers.

Sorry - yes - this was intended as raising interest w.r.t. that work rather than as lint rules for ruff (and for tracking).

[MichaReiser]

No worries. it's good to know what you all are looking for. It helps with prioritisation :)