From 221507f828e59cb3bbb4f693b13974f74201bdca Mon Sep 17 00:00:00 2001
From: Douglas Creager <dcreager@dcreager.net>
Date: Sun, 23 Nov 2025 16:20:20 -0500
Subject: [PATCH] check lower/upper bounds in satisfied_by_all_typevars

---
 crates/ty_python_semantic/src/types/constraints.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/crates/ty_python_semantic/src/types/constraints.rs b/crates/ty_python_semantic/src/types/constraints.rs
index c409cd8c6e..2a75f7dac0 100644
--- a/crates/ty_python_semantic/src/types/constraints.rs
+++ b/crates/ty_python_semantic/src/types/constraints.rs
@@ -1051,6 +1051,12 @@ impl<'db> Node<'db> {
         let mut typevars = FxHashSet::default();
         self.for_each_constraint(db, &mut |constraint| {
             typevars.insert(constraint.typevar(db));
+            if let Type::TypeVar(bound_typevar) = constraint.lower(db) {
+                typevars.insert(bound_typevar);
+            }
+            if let Type::TypeVar(bound_typevar) = constraint.upper(db) {
+                typevars.insert(bound_typevar);
+            }
         });
 
         // Returns if some specialization satisfies this constraint set.