From a48182a4e36809169d3614864caf0fc5dc4bff6c Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Wed, 8 Jul 2026 10:03:51 +0200 Subject: [PATCH] fix(checker): allow calling methods on TopType and UnknownType --- midas/checker/python.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/midas/checker/python.py b/midas/checker/python.py index 7569f1b..705498b 100644 --- a/midas/checker/python.py +++ b/midas/checker/python.py @@ -257,6 +257,9 @@ class PythonTyper( """ unfolded: Type = unfold_type(obj[1]) match unfolded: + case TopType() | UnknownType(): + return UnknownType() + case DataFrameType(): return self.frame_mgr.call( method=method_name,