mypy

gh-138122: Integrate live profiler TUI with _colorize theming system #18367

Job	Run time
Run mypy on Lib/test/libregrtest	23s
Run mypy on Tools/clinic	19s
Run mypy on Lib/_pyrepl	16s
Run mypy on Tools/build	26s
Run mypy on Lib/tomllib	20s
Run mypy on Tools/peg_generator	20s
Run mypy on Tools/jit	20s
Run mypy on Tools/cases_generator	19s
	2m 43s

Provide feedback