From a07a4fc82f63d6b3e75f670b03b2e2b305049f42 Mon Sep 17 00:00:00 2001
From: Nick Treleaven <n@trelsoft.com>
Date: Thu, 10 May 2018 12:44:33 +0100
Subject: [PATCH] Add test for typesafe variadics

---
 test/fail_compilation/bug15613.d | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/test/fail_compilation/bug15613.d b/test/fail_compilation/bug15613.d
index e8072fdbaf87..5b16f72ca232 100644
--- a/test/fail_compilation/bug15613.d
+++ b/test/fail_compilation/bug15613.d
@@ -16,3 +16,18 @@ void main()
     f(null);
     g(8);
 }
+
+/*
+TEST_OUTPUT:
+---
+fail_compilation/bug15613.d(32): Error: function `bug15613.h(int[]...)` is not callable using argument types `(int, void function(int[]...))`
+fail_compilation/bug15613.d(32):        cannot pass argument `& h` of type `void function(int[]...)` to parameter `int[]...`
+---
+*/
+
+void h(int[]...);
+
+void test()
+{
+    h(7, &h);
+}