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

fix(checker): minor fix when using base type in generic

Browse Source
This commit is contained in:
Louis Heredero
2026-06-12 16:56:03 +02:00
parent aff1097d91
commit 22fc8010d8
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
midas/checker/types.py
View File

@@ -157,6 +157,9 @@ def substitute_typevars(type: Type, substitutions: dict[str, Type]) -> Type:
case BaseType(name=name) if name in substitutions: case BaseType(name=name) if name in substitutions:
return substitutions[name] return substitutions[name]
case BaseType():
return type
case AliasType(name=name, type=type2): case AliasType(name=name, type=type2):
return AliasType(name=name, type=substitute_typevars(type2, substitutions)) return AliasType(name=name, type=substitute_typevars(type2, substitutions))