From 43e40396a1acdc3bd63df7affcb8b0f3f45e9aa2 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Fri, 26 Jun 2026 11:21:17 +0200 Subject: [PATCH] fix(checker): type check None literal --- midas/checker/python.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/midas/checker/python.py b/midas/checker/python.py index 9b4640f..ff49296 100644 --- a/midas/checker/python.py +++ b/midas/checker/python.py @@ -594,6 +594,8 @@ class PythonTyper( 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()