From abc69a054aa440ef42c939b5a197df05c3ad48d2 Mon Sep 17 00:00:00 2001
From: Carlton Gibson <carlton.gibson@noumenal.es>
Date: Sun, 8 Dec 2024 21:49:20 +0100
Subject: [PATCH] Pin mypy for regression in v1.12. (#484)

See issue: python/mypy#17960
Fixed in master: python/mypy#17355 after last release v1.3.0.
---
 setup.cfg | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/setup.cfg b/setup.cfg
index 4650df5f..e1febfdb 100644
--- a/setup.cfg
+++ b/setup.cfg
@@ -39,7 +39,9 @@ zip_safe = false
 tests =
     pytest
     pytest-asyncio
-    mypy>=0.800
+    # Pending release of https://github.com/python/mypy/pull/17355
+    # Likely in v1.13.1+, when pip can be removed.
+    mypy~=1.11.0
 
 [tool:pytest]
 testpaths = tests