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

limit to valid specializations when reducing

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

1
crates/ty_python_semantic/src/types/signatures.rs
View File

@ -829,6 +829,7 @@ impl<'db> Signature<'db> {
relation_visitor, relation_visitor,
disjointness_visitor, disjointness_visitor,
); );
let when = when.limit_to_valid_specializations(db);
// But the caller does not need to consider those extra typevars. Whatever constraint set // But the caller does not need to consider those extra typevars. Whatever constraint set
// we produce, we reduce it back down to the inferable set that the caller asked about. // we produce, we reduce it back down to the inferable set that the caller asked about.