Skip the subclass method lookup for calls on Object

lib/typeprof/core/graph/box.rb

@@ -1214,6 +1214,8 @@ def resolve_subclasses(genv, changes)
         base_ty = ty.base_type(genv)
         singleton = base_ty.is_a?(Type::Singleton)
         mod = base_ty.mod
+        # Every class descends from Object, so this would only find unrelated methods
+        next if mod.cpath.empty?
         mod.each_descendant do |desc_mod|
           next if mod == desc_mod
           me = desc_mod.get_method(singleton, @mid)

scenario/method/subclass-methods-toplevel.rb

@@ -0,0 +1,27 @@
+## update
+class Object
+  def foo(n) = n
+  def self.bar(n) = n
+
+  bar(1)
+end
+
+foo(1)
+
+class C
+  def foo(n)
+  end
+
+  def self.bar(n)
+  end
+end
+
+## assert
+class Object < BasicObject
+  def foo: (Integer) -> Integer
+  def self.bar: (Integer) -> Integer
+end
+class C
+  def foo: (untyped) -> nil
+  def self.bar: (untyped) -> nil
+end