From dee479def512f1aa5e516f4fd868c8882d159fbe Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Tue, 2 Jun 2026 13:00:03 +0200
Subject: [PATCH] fix(checker): wrap type definitions in AliasType

---
 midas/resolver/midas.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/midas/resolver/midas.py b/midas/resolver/midas.py
index ff97dbc..9ffce85 100644
--- a/midas/resolver/midas.py
+++ b/midas/resolver/midas.py
@@ -2,6 +2,7 @@ from typing import Optional
 
 import midas.ast.midas as m
 from midas.checker.types import (
+    AliasType,
     Type,
     UnionType,
     UnknownType,
@@ -103,7 +104,8 @@ class MidasResolver(m.Stmt.Visitor[None], m.Expr.Visitor[None], m.Type.Visitor[T
         for param in stmt.params:
             if param.bound is not None:
                 param.bound.accept(self)
-        self.define_type(stmt.name.lexeme, type)
+        name: str = stmt.name.lexeme
+        self.define_type(name, AliasType(name=name, type=type))
 
     def visit_property_stmt(self, stmt: m.PropertyStmt) -> None: ...