Compiler: don't match splat restriction by default. Fixes #3698

Ary Borenszweig · Ary Borenszweig · commit 0c6cd7a706c2 · 2016-12-15T15:35:36.000-03:00
diff --git a/spec/compiler/semantic/restrictions_spec.cr b/spec/compiler/semantic/restrictions_spec.cr
@@ -397,4 +397,14 @@ describe "Restrictions" do
       foo(Parent || Child)
       )) { types["Parent"].metaclass.virtual_type! }
   end
+
+  it "doesn't crash on invalid splat restriction (#3698)" do
+    assert_error %(
+      def foo(arg : *String)
+      end
+
+      foo(1)
+      ),
+      "no overload matches"
+  end
 end
diff --git a/src/compiler/crystal/semantic/restrictions.cr b/src/compiler/crystal/semantic/restrictions.cr
@@ -426,6 +426,10 @@ module Crystal
       nil
     end
 
+    def restrict(other : Splat, context)
+      nil
+    end
+
     def restrict(other : ASTNode, context)
       raise "Bug: unsupported restriction: #{self} vs. #{other}"
     end
