diff --git a/crates/ty_python_semantic/resources/corpus/cyclic_pep695_typevars.py b/crates/ty_python_semantic/resources/corpus/cyclic_pep695_typevars.py
index acff3d5224..5c9f592768 100644
--- a/crates/ty_python_semantic/resources/corpus/cyclic_pep695_typevars.py
+++ b/crates/ty_python_semantic/resources/corpus/cyclic_pep695_typevars.py
@@ -3,10 +3,3 @@ def name_1[name_0: name_0](name_2: name_0):
         pass
     except name_2:
         pass
-
-def _[T: (T if cond else U)[0], U](): pass
-
-class _[T: (0, T[0])]:
-    def _(x: T):
-        if x:
-            pass
diff --git a/crates/ty_python_semantic/resources/corpus/cyclic_pep695_typevars_invalid_bound.py b/crates/ty_python_semantic/resources/corpus/cyclic_pep695_typevars_invalid_bound.py
new file mode 100644
index 0000000000..8d63530cf3
--- /dev/null
+++ b/crates/ty_python_semantic/resources/corpus/cyclic_pep695_typevars_invalid_bound.py
@@ -0,0 +1 @@
+def _[T: (T if cond else U)[0], U](): pass
diff --git a/crates/ty_python_semantic/resources/corpus/cyclic_pep695_typevars_invalid_constraints.py b/crates/ty_python_semantic/resources/corpus/cyclic_pep695_typevars_invalid_constraints.py
new file mode 100644
index 0000000000..549470e214
--- /dev/null
+++ b/crates/ty_python_semantic/resources/corpus/cyclic_pep695_typevars_invalid_constraints.py
@@ -0,0 +1,4 @@
+class _[T: (0, T[0])]:
+    def _(x: T):
+        if x:
+            pass