---

yaml
---
r: 12111
b: refs/heads/master
c: 1d7d5c1
h: refs/heads/master
i:
  12109: b3ef084
  12107: df8d472
  12103: fc2a02a
  12095: e5dfbeb
v: v3

Author: nikomatsakis

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: ac4294a176f643c9c1f9bb992bf1b2f690499c30
+refs/heads/master: 1d7d5c16b375872db6f798e2e4b2f5f8d533dec5
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/test/compile-fail/bad-bang-ann-3.rs

@@ -1,7 +1,9 @@
 // -*- rust -*-
 // Tests that a function with a ! annotation always actually fails
-// error-pattern: some control paths may return
 
-fn bad_bang(i: uint) -> ! { ret 7u; }
+fn bad_bang(i: uint) -> ! {
+    ret 7u;
+    //!^ ERROR expected `_|_` but found `uint` (types differ)
+}
 
 fn main() { bad_bang(5u); }

trunk/src/test/compile-fail/bad-bang-ann.rs

@@ -1,7 +1,9 @@
 // -*- rust -*-
 // Tests that a function with a ! annotation always actually fails
-// error-pattern: may return to the caller
 
-fn bad_bang(i: uint) -> ! { if i < 0u { } else { fail; } }
+fn bad_bang(i: uint) -> ! {
+    if i < 0u { } else { fail; }
+    //!^ ERROR expected `_|_` but found `()` (types differ)
+}
 
 fn main() { bad_bang(5u); }

trunk/src/test/compile-fail/bang-tailexpr.rs

@@ -1,3 +1,4 @@
-// error-pattern: some control paths may return
-fn f() -> ! { 3 }
+fn f() -> ! {
+    3 //! ERROR expected `_|_` but found `int` (types differ)
+}
 fn main() { }

trunk/src/test/compile-fail/issue-897-2.rs

@@ -1,4 +1,6 @@
-// error-pattern:in non-returning function f, some control paths may return
 fn g() -> ! { fail; }
-fn f() -> ! { ret 42; g(); }
+fn f() -> ! {
+    ret 42; //! ERROR expected `_|_` but found `int` (types differ)
+    g(); //! WARNING unreachable statement
+}
 fn main() { }

trunk/src/test/compile-fail/issue-897.rs

@@ -1,3 +1,5 @@
-// error-pattern:in non-returning function f, some control paths may return
-fn f() -> ! { ret 42; fail; }
+fn f() -> ! {
+    ret 42; //! ERROR expected `_|_` but found `int` (types differ)
+    fail; //! WARNING unreachable statement
+}
 fn main() { }

trunk/src/test/compile-fail/loop-does-not-diverge.rs

@@ -1,11 +1,10 @@
-// error-pattern:some control paths may return
 /* Make sure a loop{} with a break in it can't be
    the tailexpr in the body of a diverging function */
 fn forever() -> ! {
   loop {
     break;
   }
-  ret 42;
+  ret 42; //! ERROR expected `_|_` but found `int` (types differ)
 }
 
 fn main() {