Lint

Bump mypy from 1.20.1 to 1.20.2 #7713

Job	Run time
build (3.13, windows-latest, pre-push)	4m 35s
build (3.13, windows-latest, pre-commit)	2m 1s
build (3.13, ubuntu-latest, pre-commit)	59s
build (3.13, ubuntu-latest, manual)	55s
build (3.13, windows-latest, manual)	1m 40s
build (3.13, ubuntu-latest, pre-push)	3m 39s
completion-lint	4s
	13m 53s

Provide feedback