From 591012d0596157c16e8e333753a39f5080b928a8 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Tue, 16 Jun 2026 14:04:20 +0200
Subject: [PATCH] fix(checker): allow calling AppliedType and UnknownType

---
 midas/checker/python.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/midas/checker/python.py b/midas/checker/python.py
index 6e6ea1a..5679b19 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 (
+    AppliedType,
     Function,
     OverloadedFunction,
     Type,
@@ -644,6 +645,15 @@ class PythonTyper(
                 if function is None:
                     return None
                 return function.returns
+
+            case AppliedType(body=body):
+                return self._get_call_result(
+                    location, body, positional, keywords, report_errors
+                )
+
+            case UnknownType():
+                return UnknownType()
+
             case _:
                 if report_errors:
                     self.reporter.error(location, f"{callee} is not callable")