Add support for PEP 702 (@deprecated) · Issue #16111 · python/mypy (original) (raw)

Feature

Report where @deprecated symbols are used in the code.

Pitch

Python 3.12 is coming soon, and it introduces PEP 702 (the @deprecated decorator).mypy should support it.