Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

clean up algebra

This commit is contained in:
Douglas Creager 2025-11-25 11:06:49 -05:00
parent ce7ff4c46c
commit f48f0bc5c3
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/ty_python_semantic/src/types/constraints.rs
View File

@ -1048,21 +1048,17 @@ impl<'db> Node<'db> {
Node::Interior(interior) => interior, Node::Interior(interior) => interior,
}; };
let mut inferable_typevars = FxHashSet::default();
let mut non_inferable_typevars = FxHashSet::default();
let mut valid_inferable_specializations = Node::AlwaysTrue; let mut valid_inferable_specializations = Node::AlwaysTrue;
let mut valid_non_inferable_specializations = Node::AlwaysTrue; let mut valid_non_inferable_specializations = Node::AlwaysTrue;
let mut add_typevar = |bound_typevar: BoundTypeVarInstance<'db>| { let mut add_typevar = |bound_typevar: BoundTypeVarInstance<'db>| {
if bound_typevar.is_inferable(db, inferable) { if bound_typevar.is_inferable(db, inferable) {
let valid_specializations = let valid_specializations =
bound_typevar.valid_specializations_with_materialization(db, true); bound_typevar.valid_specializations_with_materialization(db, true);
inferable_typevars.insert(bound_typevar);
valid_inferable_specializations = valid_inferable_specializations =
valid_inferable_specializations.and(db, valid_specializations); valid_inferable_specializations.and(db, valid_specializations);
} else { } else {
let valid_specializations = let valid_specializations =
bound_typevar.valid_specializations_with_materialization(db, false); bound_typevar.valid_specializations_with_materialization(db, false);
non_inferable_typevars.insert(bound_typevar);
valid_non_inferable_specializations = valid_non_inferable_specializations =
valid_non_inferable_specializations.and(db, valid_specializations); valid_non_inferable_specializations.and(db, valid_specializations);
} }