Lint

chore(deps-dev): Bump mypy from 1.20.2 to 2.0.0 #1474

Job	Run time
build (3.13, ubuntu-latest, manual)	35s
build (3.13, ubuntu-latest, pre-push)	1m 12s
build (3.13, windows-latest, pre-commit)	2m 2s
build (3.13, ubuntu-latest, pre-commit)	36s
build (3.13, windows-latest, pre-push)	2m 8s
build (3.13, windows-latest, manual)	1m 20s
completion-lint	4s
	7m 57s

Provide feedback