---

yaml
---
r: 14792
b: refs/heads/try
c: 813c413
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: a0a230de83b2c5e56aa658526c95622c7f4a3891
+refs/heads/try: 813c41362b3588ab336b57ac6e2f1e0eb3f305e2
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

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

@@ -0,0 +1,13 @@
+// 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;
+}
+
+fn main() {
+  if (1 == 2) { forever(); }
+}

branches/try/src/test/run-pass/loop-diverges.rs

@@ -0,0 +1,10 @@
+/* Make sure a loop{} can be the tailexpr in the body
+of a diverging function */
+
+fn forever() -> ! {
+  loop{}
+}
+
+fn main() {
+  if (1 == 2) { forever(); }
+}