**Feature** Report where `@deprecated` symbols are used in the code. **Pitch** Python 3.12 is coming soon, and it introduces [PEP 702](https://peps.python.org/pep-0702/) (the `@deprecated` decorator).`mypy` should support it.
Feature
Report where
@deprecatedsymbols are used in the code.Pitch
Python 3.12 is coming soon, and it introduces PEP 702 (the
@deprecateddecorator).mypyshould support it.