From 0ba0266baee6b9bed00008c870236ced405a3bae Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Mon, 22 Jun 2026 15:27:06 +0200
Subject: [PATCH] fix(checker): check general subtype case for AppliedType

this adds the case where we check whether AppliedType <: Type, and delegates to the body

this may not be a legitimate rule, or may need to be refined
---
 midas/checker/registry.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/midas/checker/registry.py b/midas/checker/registry.py
index e52fb40..93221af 100644
--- a/midas/checker/registry.py
+++ b/midas/checker/registry.py
@@ -181,6 +181,10 @@ class TypesRegistry:
                             return False
                 return True
 
+            # TODO: verify legitimacy
+            case (AppliedType(body=body), _):
+                return self.is_subtype(body, type2)
+
         return False
 
     # TODO: verify the logic in here