Cyclic0007/ruff
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Always build a union of inferred_ty and declared_ty

Browse Source
This commit is contained in:
David Peter
2024-12-19 16:52:44 +01:00
parent c0e7c08705
commit 89fefe0164
1 changed files with 4 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
crates/red_knot_python_semantic/src/types.rs
View File

@@ -90,12 +90,10 @@ fn symbol_by_id<'db>(db: &'db dyn Db, scope: ScopeId<'db>, symbol: ScopedSymbolI
match inferred_ty {
// Symbol is possibly undeclared and definitely unbound
Symbol::Unbound => Symbol::Type(declared_ty, Boundness::Bound),
// Symbol is possibly undeclared and definitely bound
inferred @ Symbol::Type(_, Boundness::Bound) => inferred,
// Symbol is possibly undeclared and possibly unbound
Symbol::Type(inferred_ty, Boundness::PossiblyUnbound) => Symbol::Type(
UnionType::from_elements(db, [declared_ty, inferred_ty].iter().copied()),
Boundness::PossiblyUnbound,
// Symbol is possibly undeclared and (possibly) bound
Symbol::Type(inferred_ty, boundness) => Symbol::Type(
UnionType::from_elements(db, [inferred_ty, declared_ty].iter().copied()),
boundness,
),
}
}