diff --git a/midas/checker/python.py b/midas/checker/python.py index 6a00249..435f6f1 100644 --- a/midas/checker/python.py +++ b/midas/checker/python.py @@ -538,6 +538,7 @@ class PythonTyper( return UnknownType() def visit_cast_expr(self, expr: p.CastExpr) -> Type: + _ = self.type_of(expr.expr) return self.resolve_type_expr(expr.type) def visit_ternary_expr(self, expr: p.TernaryExpr) -> Type: