HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 2 Activity

fix(checker): handle subscript and error in typevar bound

Browse Source
This commit is contained in:
Louis Heredero
2026-07-10 11:13:32 +02:00
parent e61c4070da
commit 244e5f351a
1 changed files with 15 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
midas/checker/python.py
View File

@@ -1090,10 +1090,13 @@ class PythonTyper(
bound: Optional[Type] = None bound: Optional[Type] = None
variance: Variance = Variance.INVARIANT variance: Variance = Variance.INVARIANT
if "bound" in call.keywords: if "bound" in call.keywords:
bound_type: p.MidasType = self._parse_type_from_expr( try:
call.keywords["bound"] bound_type: p.MidasType = self._parse_type_from_expr(
) call.keywords["bound"]
bound = self.resolve_type_expr(bound_type) )
bound = self.resolve_type_expr(bound_type)
except NotImplementedError:
bound = UnknownType()
if is_kw_true("covariant"): if is_kw_true("covariant"):
variance = Variance.COVARIANT variance = Variance.COVARIANT
@@ -1139,6 +1142,14 @@ class PythonTyper(
return parser._parse_type(node.body) return parser._parse_type(node.body)
case p.VariableExpr(name=name): case p.VariableExpr(name=name):
return p.BaseType(location=location, base=name, args=()) 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 _: case _:
raise NotImplementedError raise NotImplementedError