fix(gen): assert type var bound

2026-06-22 15:23:53 +02:00
parent 80af2b9048
commit 2f29c47274
1 changed files with 3 additions and 2 deletions
--- 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()