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

add mapping for lower bound too

This commit is contained in:
Douglas Creager 2025-12-10 13:08:51 -05:00
parent f624bfdf63
commit 4bcca58c3a
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/ty_python_semantic/src/types/generics.rs
View File

@ -1571,6 +1571,8 @@ impl<'db> SpecializationBuilder<'db> {
let upper = constraint.upper(self.db);
if !upper.is_object() {
self.add_type_mapping(typevar, upper, variance, &mut f);
} else if !lower.is_never() {
self.add_type_mapping(typevar, lower, variance, &mut f);
}
if let Type::TypeVar(lower_bound_typevar) = lower {
self.add_type_mapping(