From 216c80f08cdc30d312798ddec94121bb9e13b21b Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Mon, 22 Jun 2026 15:24:51 +0200
Subject: [PATCH] fix(checker): produce judgement for expression in cast

---
 midas/checker/python.py | 1 +
 1 file changed, 1 insertion(+)

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: