Allow break values to diverge again

This reverts commit 3651781.

Author: dhardy

text/0000-loop-break-value.md

@@ -84,7 +84,7 @@ Four forms of `break` will be supported:
 3.  `break EXPR;`
 4.  `break 'label EXPR;`
 
-where `'label` is the name of a loop and `EXPR` is an converging expression.
+where `'label` is the name of a loop and `EXPR` is an expression.
 
 ### Result type of loop
 
@@ -118,6 +118,7 @@ This proposal changes the result type of 'loop' to `T`, where:
 
 *   if a loop is "broken" via `break;` or `break 'label;`, the loop's result type must be `()`
 *   if a loop is "broken" via `break EXPR;` or `break 'label EXPR;`, `EXPR` must evaluate to type `T`
+*   as a special case, if a loop is "broken" via `break EXPR;` or `break 'label EXPR;` where `EXPR` evaluates to type `!` (does not return), this does not place a constraint on the type of the loop
 *   if external constaint on the loop's result type exist (e.g. `let x: S = loop { ... };`), then `T` must be coercible to this type
 
 It is an error if these types do not agree or if the compiler's type deduction
@@ -158,6 +159,11 @@ fn g() -> u32 {
     // ! coerces to u32
     loop {}
 }
+fn z() -> ! {
+    loop {
+        break panic!();
+    }
+}
 ```
 
 Example showing the equivalence of `break;` and `break ();`: