8 fail_compilation/fail12809.d(18): Error: `object.Exception` is thrown but not caught
9 fail_compilation/fail12809.d(15): Error: function `fail12809.test_finally1` may throw but is marked as `nothrow`
10 fail_compilation/fail12809.d(34): Error: `object.Exception` is thrown but not caught
11 fail_compilation/fail12809.d(38): Error: `object.Exception` is thrown but not caught
12 fail_compilation/fail12809.d(31): Error: function `fail12809.test_finally3` may throw but is marked as `nothrow`
15 void test_finally1() nothrow
18 throw new Exception(""); // error
23 void test_finally2() nothrow
26 throw new Exception(""); // no error
28 assert(0); // unconditional halt
31 void test_finally3() nothrow
34 throw new Exception(""); // error
38 throw new Exception(""); // error
39 assert(0); // conditional halt
46 fail_compilation/fail12809.d(58): Error: `object.Exception` is thrown but not caught
47 fail_compilation/fail12809.d(53): Error: function `fail12809.test_finally4` may throw but is marked as `nothrow`
48 fail_compilation/fail12809.d(74): Error: `object.Exception` is thrown but not caught
49 fail_compilation/fail12809.d(78): Error: `object.Exception` is thrown but not caught
50 fail_compilation/fail12809.d(69): Error: function `fail12809.test_finally6` may throw but is marked as `nothrow`
53 void test_finally4() nothrow
58 throw new Exception(""); // error
61 void test_finally5() nothrow
64 assert(0); // unconditional halt
66 throw new Exception(""); // no error
69 void test_finally6() nothrow
74 throw new Exception(""); // error
75 assert(0); // conditional halt
78 throw new Exception(""); // error