HEL/midas
1
0
Fork 0
Code Issues Pull Requests Releases Activity

fix(checker): produce judgement for expression in cast

Browse Source
This commit is contained in:
Louis Heredero
2026-06-22 15:24:51 +02:00
parent f75d7722a1
commit 216c80f08c
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
midas/checker/python.py
View File

@@ -538,6 +538,7 @@ class PythonTyper(
return UnknownType() return UnknownType()
def visit_cast_expr(self, expr: p.CastExpr) -> Type: def visit_cast_expr(self, expr: p.CastExpr) -> Type:
_ = self.type_of(expr.expr)
return self.resolve_type_expr(expr.type) return self.resolve_type_expr(expr.type)
def visit_ternary_expr(self, expr: p.TernaryExpr) -> Type: def visit_ternary_expr(self, expr: p.TernaryExpr) -> Type: