From 7a021b2450f96a4daad78624c8935b057a18c5d9 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Thu, 9 Jul 2026 17:39:11 +0200
Subject: [PATCH] fix(checker): type check none literal

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

diff --git a/midas/checker/midas.py b/midas/checker/midas.py
index 810049e..3efa5d4 100644
--- a/midas/checker/midas.py
+++ b/midas/checker/midas.py
@@ -364,6 +364,8 @@ class MidasTyper(m.Stmt.Visitor[None], m.Expr.Visitor[Type], m.Type.Visitor[Type
                 return self.types.get_type("float")
             case str():
                 return self.types.get_type("str")
+            case None:
+                return self.types.get_type("None")
             case _:
                 self.reporter.warning(expr.location, f"Unknown literal {expr}")
                 return UnknownType()