From e5cb90aff646c8469a01ba35d8971a8414420101 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Tue, 16 Jun 2026 20:40:48 +0200
Subject: [PATCH] fix(checker): make builtin type constructor parameter
 optional

---
 midas/checker/preamble.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/midas/checker/preamble.py b/midas/checker/preamble.py
index a543dd9..ea7001b 100644
--- a/midas/checker/preamble.py
+++ b/midas/checker/preamble.py
@@ -61,7 +61,7 @@ class Preamble(Environment):
         # TODO: more specific arg types
         self._def_function(
             name=name,
-            pos=[Param("object", TopType())],
+            pos=[Param("object", TopType(), required=False)],
             returns=self._types.get_type(name),
         )