diff --git a/crates/ty_python_semantic/src/types/constraints.rs b/crates/ty_python_semantic/src/types/constraints.rs
index 01cbfa56cb..076dbbd8f0 100644
--- a/crates/ty_python_semantic/src/types/constraints.rs
+++ b/crates/ty_python_semantic/src/types/constraints.rs
@@ -1475,6 +1475,8 @@ impl<'db> InteriorNode<'db> {
                         path.assignments[new_range]
                             .iter()
                             .filter(|assignment| {
+                                // Don't add back any derived facts if they reference the typevar
+                                // that we're trying to remove!
                                 !assignment
                                     .constraint()
                                     .typevar(db)
@@ -1493,6 +1495,8 @@ impl<'db> InteriorNode<'db> {
                         path.assignments[new_range]
                             .iter()
                             .filter(|assignment| {
+                                // Don't add back any derived facts if they reference the typevar
+                                // that we're trying to remove!
                                 !assignment
                                     .constraint()
                                     .typevar(db)