From 2f29c4727437dcff7f1920914999fc5a951a5246 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Mon, 22 Jun 2026 15:23:53 +0200
Subject: [PATCH] fix(gen): assert type var bound

---
 midas/generator/generator.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/midas/generator/generator.py b/midas/generator/generator.py
index 88065d2..e66f532 100644
--- a/midas/generator/generator.py
+++ b/midas/generator/generator.py
@@ -322,9 +322,10 @@ class Generator(p.Stmt.Visitor[ast.stmt], p.Expr.Visitor[ast.expr]):
                 self._make_cast_asserts(src_location, expr, base)
                 self._make_constraint_assert(src_location, expr, constraint)
 
-            case TypeVar():
+            case TypeVar(bound=bound):
                 # TODO: check with type from arguments / use call-site context
-                pass
+                if bound is not None:
+                    self._make_cast_asserts(src_location, expr, bound)
 
             case (
                 TopType()