fix(checker): allow calling methods on TopType and UnknownType

This commit is contained in:
2026-07-08 10:03:51 +02:00
parent 205d19fb72
commit a48182a4e3

View File

@@ -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,