locally ignore undefined attribute for mypy

HypothesisWorks · Jan 3, 2024 · 9e67f68 · 9e67f68
1 parent 699850f
commit 9e67f68
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hypothesis-python/src/hypothesis/core.py b/hypothesis-python/src/hypothesis/core.py
@@ -1025,7 +1025,7 @@ def _execute_once_for_engine(self, data: ConjectureData) -> None:
                 # path for test runs that fail.
                 if isinstance(e, TypeError) and "SearchStrategy" in str(e):
                     try:
-                        suggestion = data._sampled_from_all_strategies_elements_message
+                        suggestion = data._sampled_from_all_strategies_elements_message  # type: ignore[attr-defined]
                     except AttributeError:
                         pass
                     else: