mypy

Tachyon: Fix html output sidebar cards hidden behind section headers … #18355

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

Provide feedback