tests: add compilable and failure cases for DIP1029

Signed-off-by: Luís Ferreira <contact@lsferreira.net>

Author: ljmf00

test/compilable/dip1029.d

@@ -0,0 +1,28 @@
+
+void foo() {}
+
+void foobar() throw {}
+void bar() nothrow {}
+
+nothrow {
+    void n_t() throw;
+}
+
+void _t();
+void t() throw;
+
+
+struct S2 {
+    void foo() {
+        _t();
+        t();
+        n_t();
+    }
+}
+
+nothrow:
+    void t2() throw;
+
+throw:
+    void n2() nothrow;
+

test/fail_compilation/dip1029_1.d

@@ -0,0 +1,13 @@
+/*
+TEST_OUTPUT:
+---
+fail_compilation/dip1029_1.d(101): Error: redundant attribute `throw`
+fail_compilation/dip1029_1.d(102): Error: conflicting attribute `nothrow`
+---
+ */
+
+#line 100
+
+void tt() throw throw;
+void tn() throw nothrow;
+

test/fail_compilation/dip1029_2.d

@@ -0,0 +1,29 @@
+/*
+TEST_OUTPUT:
+---
+fail_compilation/dip1029_2.d(211): Error: function `dip1029_2._t` is not `nothrow`
+fail_compilation/dip1029_2.d(212): Error: function `dip1029_2.t` is not `nothrow`
+fail_compilation/dip1029_2.d(213): Error: function `dip1029_2.n_t` is not `nothrow`
+fail_compilation/dip1029_2.d(210): Error: `nothrow` function `dip1029_2.S1.foo` may throw
+---
+ */
+
+#line 200
+
+nothrow {
+    void n_t() throw;
+    void n_n();
+}
+
+void _t();
+void t() throw;
+
+struct S1 {
+    nothrow void foo() {
+        _t();
+        t();
+        n_t();
+        n_n();
+    }
+}
+