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()