Fix mypy 2025 05 #1812

Job	Run time
Pylint	1m 40s
Ruff	9s
basedpyright	1m 40s
Typos	3s
Mypy	1m 43s
Documentation	1m 32s
Tests for downstream project meshmode	3m 18s
Tests for downstream project grudge	3m 17s
Examples Conda Py3	1m 22s
Pytest Conda Py3 Intel	2m 0s
Pytest Conda Py3 POCL	2m 23s
Tests for downstream project mirgecom	5s
Tests for downstream project mirgecom_examples	5s
	19m 17s

Provide feedback