From 244e5f351a40b6adc21abf47b135aeec7f7c21f5 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Fri, 10 Jul 2026 11:13:32 +0200
Subject: [PATCH] fix(checker): handle subscript and error in typevar bound

---
 midas/checker/python.py | 19 +++++++++++++++----
 1 file changed, 15 insertions(+), 4 deletions(-)

diff --git a/midas/checker/python.py b/midas/checker/python.py
index 755d11b..361f99c 100644
--- a/midas/checker/python.py
+++ b/midas/checker/python.py
@@ -1090,10 +1090,13 @@ class PythonTyper(
                 bound: Optional[Type] = None
                 variance: Variance = Variance.INVARIANT
                 if "bound" in call.keywords:
-                    bound_type: p.MidasType = self._parse_type_from_expr(
-                        call.keywords["bound"]
-                    )
-                    bound = self.resolve_type_expr(bound_type)
+                    try:
+                        bound_type: p.MidasType = self._parse_type_from_expr(
+                            call.keywords["bound"]
+                        )
+                        bound = self.resolve_type_expr(bound_type)
+                    except NotImplementedError:
+                        bound = UnknownType()
 
                 if is_kw_true("covariant"):
                     variance = Variance.COVARIANT
@@ -1139,6 +1142,14 @@ class PythonTyper(
                 return parser._parse_type(node.body)
             case p.VariableExpr(name=name):
                 return p.BaseType(location=location, base=name, args=())
+            case p.SubscriptExpr(object=p.VariableExpr(name=name), index=arg):
+                args: tuple[p.MidasType, ...] = (
+                    tuple(self._parse_type_from_expr(a) for a in arg.items)
+                    if isinstance(arg, p.TupleExpr)
+                    else (self._parse_type_from_expr(arg),)
+                )
+                return p.BaseType(location=location, base=name, args=args)
+
             case _:
                 raise NotImplementedError