From cfcff1373f8ec7488052a374cf753de5ac629773 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Piotaix?= <remi@piotaix.fr>
Date: Sat, 16 Jul 2022 15:41:50 +0200
Subject: [PATCH 1/3] Fixing Module#refine type signature

---
 core/module.rbs            | 2 +-
 test/stdlib/Module_test.rb | 5 +++++
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/core/module.rbs b/core/module.rbs
index 2e0942e37..7c6f1a116 100644
--- a/core/module.rbs
+++ b/core/module.rbs
@@ -1401,7 +1401,7 @@ class Module < Object
   #
   # Returns a module, where refined methods are defined.
   #
-  def refine: (Class arg0) { (untyped arg0) -> untyped } -> self
+  def refine: (Module arg0) { () -> void } -> Refinement
 
   # <!--
   #   rdoc-file=object.c
diff --git a/test/stdlib/Module_test.rb b/test/stdlib/Module_test.rb
index da04c644f..ccd4e5126 100644
--- a/test/stdlib/Module_test.rb
+++ b/test/stdlib/Module_test.rb
@@ -20,6 +20,11 @@ module Foo
     BAR = 1
   end
 
+  def test_refine
+    assert_send_type "(Module) { () -> void } -> Refinement",
+                     Foo, :refine, String do nil end
+  end
+
   def test_const_source_location
     assert_send_type "(Symbol) -> [String, Integer]",
                      Foo, :const_source_location, :BAR

From 318c96c1c7a0b34086b6e6f22e044bf7f3bdb6e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Piotaix?= <remi@piotaix.fr>
Date: Sat, 16 Jul 2022 16:03:29 +0200
Subject: [PATCH 2/3] Name the argument mod

---
 core/module.rbs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/module.rbs b/core/module.rbs
index 7c6f1a116..f5f89b6b2 100644
--- a/core/module.rbs
+++ b/core/module.rbs
@@ -1401,7 +1401,7 @@ class Module < Object
   #
   # Returns a module, where refined methods are defined.
   #
-  def refine: (Module arg0) { () -> void } -> Refinement
+  def refine: (Module mod) { () -> void } -> Refinement
 
   # <!--
   #   rdoc-file=object.c

From cc51dd2d4ee5b0a47d41d5f8ddccd29d15c7506a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Piotaix?= <remi@piotaix.fr>
Date: Sat, 16 Jul 2022 16:39:14 +0200
Subject: [PATCH 3/3] Pass a iseq block instead of a Proc to be able to test
 the refine method

---
 test/stdlib/test_helper.rb | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/test/stdlib/test_helper.rb b/test/stdlib/test_helper.rb
index 696f21445..ee1332221 100644
--- a/test/stdlib/test_helper.rb
+++ b/test/stdlib/test_helper.rb
@@ -81,7 +81,13 @@ def wrapped_object
                       end
 
           begin
-            return_value = spy.object.__send__(spy.method_name, *args, &spy_block)
+            if spy_block
+              return_value = spy.object.__send__(spy.method_name, *args) do |*a, **k, &b|
+                spy_block.call(*a, **k, &b)
+              end
+            else
+              return_value = spy.object.__send__(spy.method_name, *args, &spy_block)
+            end
           rescue ::Exception => exn
             exception = exn
           end