mypy

Docs: Upgrade Sphinx to 9.0 (#142114) #18200

Job	Run time
Run mypy on Lib/test/libregrtest	19s
Run mypy on Lib/tomllib	16s
Run mypy on Tools/build	18s
Run mypy on Lib/_pyrepl	21s
Run mypy on Tools/jit	19s
Run mypy on Tools/cases_generator	20s
Run mypy on Tools/clinic	17s
Run mypy on Tools/peg_generator	19s
	2m 29s

Provide feedback