Support RBS overloading method declaration

Author: mame

lib/typeprof/core/env/method_entity.rb

@@ -3,6 +3,7 @@ class MethodEntity
     def initialize
       @builtin = nil
       @decls = Set[]
+      @overloading_decls = Set[]
       @defs = Set[]
       @aliases = {}
       @method_call_boxes = Set[]
@@ -12,11 +13,19 @@ def initialize
     attr_accessor :builtin
 
     def add_decl(decl)
-      @decls << decl
+      if decl.overloading
+        @overloading_decls << decl
+      else
+        @decls << decl
+      end
     end
 
     def remove_decl(decl)
-      @decls.delete(decl) || raise
+      if decl.overloading
+        @overloading_decls.delete(decl) || raise
+      else
+        @decls.delete(decl) || raise
+      end
     end
 
     def add_def(mdef)

scenario/rbs/overloading.rb

@@ -0,0 +1,18 @@
+## update: test.rbs
+class Foo
+  def check: () -> Integer
+end
+
+class Bar < Foo
+  def check: ...
+end
+
+## update: test.rb
+def check
+  Bar.new.check
+end
+
+## assert
+class Object
+  def check: -> Integer
+end