From ad8509dc22efd264cf26dfcb1c394cb792e40477 Mon Sep 17 00:00:00 2001
From: Douglas Creager <dcreager@dcreager.net>
Date: Wed, 12 Nov 2025 09:37:37 -0500
Subject: [PATCH] instance too

---
 crates/ty_python_semantic/src/types/instance.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/crates/ty_python_semantic/src/types/instance.rs b/crates/ty_python_semantic/src/types/instance.rs
index f05e530c51..f79f1468ef 100644
--- a/crates/ty_python_semantic/src/types/instance.rs
+++ b/crates/ty_python_semantic/src/types/instance.rs
@@ -437,7 +437,10 @@ impl<'db> NominalInstanceType<'db> {
                     disjointness_visitor,
                     relation_visitor,
                 );
-                if result.union(db, compatible).is_always_satisfied(db) {
+                if result
+                    .union(db, compatible)
+                    .satisfied_by_all_typevars(db, inferable)
+                {
                     return result;
                 }
             }