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

fix(checker): make UnknownType a top type for subtyping

Browse Source
This commit is contained in:
Louis Heredero
2026-06-22 14:15:04 +02:00
parent 878693383e
commit 577454ee7e
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
midas/checker/registry.py
View File

@@ -130,6 +130,9 @@ class TypesRegistry:
case (_, TopType()): case (_, TopType()):
return True return True
case (_, UnknownType()):
return True
case (AliasType(type=base1), _): case (AliasType(type=base1), _):
return self.is_subtype(base1, type2) return self.is_subtype(base1, type2)