language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 18:58:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: type narrowing bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-03-23 23:54:44 +09:00
parent d881a6ae3e
commit 242171b280
2 changed files with 9 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
crates/erg_compiler/lower.rs
View file

@ -2952,10 +2952,11 @@ impl<A: ASTBuildable> GenericASTLowerer<A> {
}
};
if let Some(casted) = casted {
if expr.ref_t().is_projection() || self.module.context.subtype_of(&casted, expr.ref_t())
{
// e.g. casted == {x: Obj | x != None}, expr: Int or NoneType => intersec == Int
let intersec = self.module.context.intersection(expr.ref_t(), &casted);
if expr.ref_t().is_projection() || intersec != Type::Never {
if let Some(ref_mut_t) = expr.ref_mut_t() {
*ref_mut_t = casted;
*ref_mut_t = intersec;
}
}
}