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(