From fafb19619aec7439bdec2c2c5a08045820780538 Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Fri, 14 Nov 2025 12:34:43 -0500 Subject: [PATCH] don't most simplifies --- crates/ty_python_semantic/src/types/constraints.rs | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/crates/ty_python_semantic/src/types/constraints.rs b/crates/ty_python_semantic/src/types/constraints.rs index 64bcf81c28..83eecdad26 100644 --- a/crates/ty_python_semantic/src/types/constraints.rs +++ b/crates/ty_python_semantic/src/types/constraints.rs @@ -916,7 +916,7 @@ impl<'db> Node<'db> { _ => panic!("at least one type should be a typevar"), }; - self.satisfies(db, constraint) + self.implies(db, constraint) } fn satisfied_by_all_typevars( @@ -937,19 +937,13 @@ impl<'db> Node<'db> { // Returns if some specialization satisfies this constraint set. let some_specialization_satisfies = move |specializations: Node<'db>| { - let when_satisfied = specializations - .satisfies(db, self) - .and(db, specializations) - .simplify(db); + let when_satisfied = specializations.implies(db, self).and(db, specializations); !when_satisfied.is_never_satisfied(db) }; // Returns if all specializations satisfy this constraint set. let all_specializations_satisfy = move |specializations: Node<'db>| { - let when_satisfied = specializations - .satisfies(db, self) - .and(db, specializations) - .simplify(db); + let when_satisfied = specializations.implies(db, self).and(db, specializations); when_satisfied .iff(db, specializations) .is_always_satisfied(db)