mirrors/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-11-19 20:24:27 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

don't most simplifies

Browse source
This commit is contained in:
Douglas Creager 2025-11-14 12:34:43 -05:00
parent 4b7f75adae
commit fafb19619a
1 changed files with 3 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

12
crates/ty_python_semantic/src/types/constraints.rs
View file

@ -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)