From 577454ee7e9ef60cdd22dc2ad24b991c4f1848a7 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Mon, 22 Jun 2026 14:15:04 +0200
Subject: [PATCH] fix(checker): make UnknownType a top type for subtyping

---
 midas/checker/registry.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/midas/checker/registry.py b/midas/checker/registry.py
index b787f20..606c268 100644
--- a/midas/checker/registry.py
+++ b/midas/checker/registry.py
@@ -130,6 +130,9 @@ class TypesRegistry:
             case (_, TopType()):
                 return True
 
+            case (_, UnknownType()):
+                return True
+
             case (AliasType(type=base1), _):
                 return self.is_subtype(base1, type2)