From f23ae75b5d260640c44608328d07616357b0f70b Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Mon, 8 Dec 2025 19:14:57 -0500 Subject: [PATCH] group typevars by binding context --- crates/ty_python_semantic/src/types/constraints.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/crates/ty_python_semantic/src/types/constraints.rs b/crates/ty_python_semantic/src/types/constraints.rs index 3c32c059d2..bbec6c7f3d 100644 --- a/crates/ty_python_semantic/src/types/constraints.rs +++ b/crates/ty_python_semantic/src/types/constraints.rs @@ -646,7 +646,11 @@ impl<'db> ConstrainedTypeVar<'db> { /// simplifications that we perform that operate on constraints with the same typevar, and this /// ensures that we can find all candidate simplifications more easily. fn ordering(self, db: &'db dyn Db) -> impl Ord { - (self.typevar(db).identity(db), self.as_id()) + ( + self.typevar(db).binding_context(db), + self.typevar(db).identity(db), + self.as_id(), + ) } /// Returns whether this constraint implies another — i.e., whether every type that