Update Ruff + mypy and fix some decorated types in sympy#390

Avasam wants to merge 1 commit intomicrosoft:mainmicrosoft/python-type-stubs:mainfrom

Avasam:Update-Ruff-to-0.13Avasam/python-type-stubs:Update-Ruff-to-0.13Copy head branch name to clipboard