From 7f4893d2006288288a73a54996389fd0a16e22cc Mon Sep 17 00:00:00 2001
From: Douglas Creager <dcreager@dcreager.net>
Date: Mon, 15 Dec 2025 09:15:22 -0500
Subject: [PATCH] place bounds/constraints first

---
 crates/ty_python_semantic/src/types/constraints.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/crates/ty_python_semantic/src/types/constraints.rs b/crates/ty_python_semantic/src/types/constraints.rs
index 541b351c17..85a18994c1 100644
--- a/crates/ty_python_semantic/src/types/constraints.rs
+++ b/crates/ty_python_semantic/src/types/constraints.rs
@@ -3671,9 +3671,10 @@ impl<'db> GenericContext<'db> {
         // each typevar.
         let abstracted = self
             .variables(db)
-            .fold(constraints.node, |constraints, bound_typevar| {
+            .fold(Node::AlwaysTrue, |constraints, bound_typevar| {
                 constraints.and_with_offset(db, bound_typevar.valid_specializations(db))
-            });
+            })
+            .and_with_offset(db, constraints.node);
         tracing::debug!(
             target: "ty_python_semantic::types::constraints::specialize_constrained",
             valid = %abstracted.display(db),