fix Issue 13217 - nothrow, template function and delegate: compilatio…

…n error
dlang · Aug 10, 2014 · 3016586 · 3016586
1 parent 4b9df68
commit 3016586
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/test/compilable/testInference.d b/test/compilable/testInference.d
@@ -536,5 +536,24 @@ static assert(is(typeof(&f12970j) == void function() @safe));
 static assert(is(typeof(&f12970k) == void function() @system));
 static assert(is(typeof(&f12970l) == void function() @system));
 
+/***************************************************/
+// 13217
+
+void writeln13217(string) {}
+
+nothrow void a13217(T)(T x)
+{
+    try
+    {
+        () { writeln13217("a"); } ();
+    }
+    catch (Exception e) {}
+}
+
+void test13217()
+{
+    a13217(1);
+}
+
 // Add more tests regarding inferences later.