From df8d71c0a94c672d29ef5d6fe493fb42c0c782b6 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Wed, 17 Jun 2026 12:14:20 +0200 Subject: [PATCH] fix(checker): handle calls to AliasType --- midas/checker/python.py | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/midas/checker/python.py b/midas/checker/python.py index c4bffff..6ba8e44 100644 --- a/midas/checker/python.py +++ b/midas/checker/python.py @@ -12,6 +12,7 @@ from midas.checker.registry import TypesRegistry from midas.checker.reporter import FileReporter, Reporter from midas.checker.resolver import Resolver from midas.checker.types import ( + AliasType, AppliedType, Function, OverloadedFunction, @@ -694,9 +695,17 @@ class PythonTyper( case UnknownType(): return UnknownType() + case AliasType(type=base): + return self._get_call_result( + location, base, positional, keywords, report_errors + ) + case _: if report_errors: - self.reporter.error(location, f"{callee} is not callable") + self.reporter.error( + location, + f"{callee} ({callee.__class__.__name__}) is not callable", + ) return None def _are_arguments_valid(