diff --git a/crates/ty_python_semantic/src/types.rs b/crates/ty_python_semantic/src/types.rs
index e297ebf821..8beb1cf68a 100644
--- a/crates/ty_python_semantic/src/types.rs
+++ b/crates/ty_python_semantic/src/types.rs
@@ -10154,6 +10154,7 @@ impl<'db> TypeVarBoundOrConstraints<'db> {
                         .zip(prev_elements.iter())
                         .map(|(ty, prev_ty)| ty.cycle_normalized(db, *prev_ty, cycle))
                         .collect::<Box<_>>(),
+                    constraints.recursively_defined(db),
                 ))
             }
             // The choice of whether it's an upper bound or constraints is purely syntactic and
@@ -10181,6 +10182,7 @@ impl<'db> TypeVarBoundOrConstraints<'db> {
                         .iter()
                         .map(|ty| ty.recursive_type_normalized(db, cycle))
                         .collect::<Box<_>>(),
+                    constraints.recursively_defined(db),
                 ))
             }
         }