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

feat(types): detect constraint base subtyping

Browse Source
This commit is contained in:
Louis Heredero
2026-06-19 13:57:21 +02:00
parent 6aacdb98b7
commit 92ca6b6732
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
midas/checker/registry.py
View File

@@ -7,6 +7,7 @@ from midas.checker.types import (
AppliedType, AppliedType,
BaseType, BaseType,
ComplexType, ComplexType,
ConstraintType,
ExtensionType, ExtensionType,
Function, Function,
GenericType, GenericType,
@@ -130,6 +131,9 @@ class TypesRegistry:
return False return False
return self.is_subtype(bound, type2) return self.is_subtype(bound, type2)
case (ConstraintType(type=base1), _):
return self.is_subtype(base1, type2)
return False return False
# TODO: verify the logic in here # TODO: verify the logic in here