mypy>=1.14.1,<1.20
