move tuple subclass test to py39

Liam-DeVoe · Liam-DeVoe · commit 7c7375c506a4 · 2023-10-15T12:09:44.000-04:00
diff --git a/hypothesis-python/tests/cover/test_lookup.py b/hypothesis-python/tests/cover/test_lookup.py
@@ -1069,27 +1069,3 @@ def test_tuple_subclasses_not_generic_sequences():
     with temp_registered(TupleSubtype, st.builds(TupleSubtype)):
         s = st.from_type(typing.Sequence[int])
         assert_no_examples(s, lambda x: isinstance(x, tuple))
-
-
-T = typing.TypeVar("T")
-
-
-@typing.runtime_checkable
-class Fooable(typing.Protocol[T]):
-    def foo(self):
-        ...
-
-
-class FooableConcrete(tuple):
-    def foo(self):
-        pass
-
-
-def test_only_tuple_subclasses_in_typing_type():
-    # A generic typing type (such as Fooable) whose only concrete
-    # instantiations are tuples should still generate tuples. This is in
-    # contrast to test_tuple_subclasses_not_generic_sequences, which discards
-    # tuples if there are any alternatives.
-    with temp_registered(FooableConcrete, st.builds(FooableConcrete)):
-        s = st.from_type(Fooable[int])
-        assert_all_examples(s, lambda x: type(x) is FooableConcrete)
diff --git a/hypothesis-python/tests/cover/test_lookup_py39.py b/hypothesis-python/tests/cover/test_lookup_py39.py
@@ -125,3 +125,27 @@ def test_can_register_builtin_list():
             st.from_type(list[int]),
             lambda ls: len(ls) <= 2 and {type(x) for x in ls}.issubset({int}),
         )
+
+
+T = typing.TypeVar("T")
+
+
+@typing.runtime_checkable
+class Fooable(typing.Protocol[T]):
+    def foo(self):
+        ...
+
+
+class FooableConcrete(tuple):
+    def foo(self):
+        pass
+
+
+def test_only_tuple_subclasses_in_typing_type():
+    # A generic typing type (such as Fooable) whose only concrete
+    # instantiations are tuples should still generate tuples. This is in
+    # contrast to test_tuple_subclasses_not_generic_sequences, which discards
+    # tuples if there are any alternatives.
+    with temp_registered(FooableConcrete, st.builds(FooableConcrete)):
+        s = st.from_type(Fooable[int])
+        assert_all_examples(s, lambda x: type(x) is FooableConcrete)
