From 217f599a1e1c09618b0ebeffb34be790f70b8c68 Mon Sep 17 00:00:00 2001
From: nobu <nobu@b2dd03c8-39d4-4d8f-98ff-823fe69b080e>
Date: Sat, 25 Mar 2017 03:23:43 +0000
Subject: [PATCH] class.c: prohibit refinement module

* class.c (ensure_includable): cannot include refinement
  module, or the type and the class do not match.
  [ruby-core:79632] [Bug #13236]

git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@58083 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
---
 class.c                      |  3 +++
 test/ruby/test_refinement.rb | 14 ++++++++++++++
 2 files changed, 17 insertions(+)

diff --git a/class.c b/class.c
index fc99ce4513..d73724bd60 100644
--- a/class.c
+++ b/class.c
@@ -854,6 +854,9 @@ ensure_includable(VALUE klass, VALUE module)
 {
     rb_frozen_class_p(klass);
     Check_Type(module, T_MODULE);
+    if (!NIL_P(rb_refinement_module_get_refined_class(module))) {
+	rb_raise(rb_eArgError, "refinement module is not allowed");
+    }
     OBJ_INFECT(klass, module);
 }
 
diff --git a/test/ruby/test_refinement.rb b/test/ruby/test_refinement.rb
index f6e08729d7..82bdb49659 100644
--- a/test/ruby/test_refinement.rb
+++ b/test/ruby/test_refinement.rb
@@ -1886,6 +1886,20 @@ class TestRefinement < Test::Unit::TestCase
     assert_equal("Parent -> Child", SuperToModule::Child.test, bug)
   end
 
+  def test_include_refinement
+    bug = '[ruby-core:79632] [Bug #13236] cannot include refinement module'
+    r = nil
+    m = Module.new do
+      r = refine(String) {def test;:ok end}
+    end
+    assert_raise_with_message(ArgumentError, /refinement/, bug) do
+      m.module_eval {include r}
+    end
+    assert_raise_with_message(ArgumentError, /refinement/, bug) do
+      m.module_eval {prepend r}
+    end
+  end
+
   private
 
   def eval_using(mod, s)