mypy

GH-145273: don't skip missing platstdlib warning if stdlib_zip is fou… #19842

Job	Run time
Run mypy on Lib/_pyrepl	20s
Run mypy on Lib/test/libregrtest	19s
Run mypy on Tools/check-c-api-docs	19s
Run mypy on Tools/jit	18s
Run mypy on Tools/cases_generator	22s
Run mypy on Tools/peg_generator	16s
Run mypy on Lib/tomllib	20s
Run mypy on Tools/clinic	20s
Run mypy on Tools/build	19s
	2m 53s

Provide feedback