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

fix(checker): handle is_subtype of TypeVar

Browse Source
This commit is contained in:
Louis Heredero
2026-06-22 14:44:51 +02:00
parent 577454ee7e
commit 80af2b9048
1 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
midas/checker/registry.py
View File

@@ -133,6 +133,16 @@ class TypesRegistry:
case (_, UnknownType()): case (_, UnknownType()):
return True return True
case (TypeVar(bound=bound), _):
if bound is None:
return False
return self.is_subtype(bound, type2)
case (_, TypeVar(bound=bound)):
if bound is None:
return True
return self.is_subtype(type1, bound)
case (AliasType(type=base1), _): case (AliasType(type=base1), _):
return self.is_subtype(base1, type2) return self.is_subtype(base1, type2)
@@ -150,11 +160,6 @@ class TypesRegistry:
case (Function(), Function()): case (Function(), Function()):
return self.is_func_subtype(type1, type2) return self.is_func_subtype(type1, type2)
case (TypeVar(bound=bound), _):
if bound is None:
return False
return self.is_subtype(bound, type2)
case (ConstraintType(type=base1), _): case (ConstraintType(type=base1), _):
return self.is_subtype(base1, type2) return self.is_subtype(base1, type2)