From 22fc8010d88fc32141765e3f01908608ffc706ff Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Fri, 12 Jun 2026 16:56:03 +0200 Subject: [PATCH] fix(checker): minor fix when using base type in generic --- midas/checker/types.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/midas/checker/types.py b/midas/checker/types.py index d0dbe2f..8767764 100644 --- a/midas/checker/types.py +++ b/midas/checker/types.py @@ -157,6 +157,9 @@ def substitute_typevars(type: Type, substitutions: dict[str, Type]) -> Type: case BaseType(name=name) if name in substitutions: return substitutions[name] + case BaseType(): + return type + case AliasType(name=name, type=type2): return AliasType(name=name, type=substitute_typevars(type2, substitutions))