---

yaml
---
r: 34936
b: refs/heads/master
c: 2ab614f
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: c7ec183b34805ba6af0c49581639b16dbd33e47a
+refs/heads/master: 2ab614f3569f34eee2fd70862e8f35548282fb11
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: eb8fd119c65c67f3b1b8268cc7341c22d39b7b61
 refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024

trunk/doc/rust.md

@@ -1951,32 +1951,48 @@ while i < 10 {
 
 ### Infinite loops
 
-A `loop` expression denotes an infinite loop:
+The keyword `loop` in Rust appears both in _loop expressions_ and in _continue expressions_.
+A loop expression denotes an infinite loop;
+see [Continue expressions](#continue-expressions) for continue expressions.
 
 ~~~~~~~~{.ebnf .gram}
-loop_expr : "loop" '{' block '}';
+loop_expr : "loop" [ ident ':' ] '{' block '}';
 ~~~~~~~~
 
+A `loop` expression may optionally have a _label_.
+If a label is present,
+then labeled `break` and `loop` expressions nested within this loop may exit out of this loop or return control to its head.
+See [Break expressions](#break-expressions).
+
 ### Break expressions
 
 ~~~~~~~~{.ebnf .gram}
-break_expr : "break" ;
+break_expr : "break" [ ident ];
 ~~~~~~~~
 
-Executing a `break` expression immediately terminates the innermost loop
-enclosing it. It is only permitted in the body of a loop.
+A `break` expression has an optional `label`.
+If the label is absent, then executing a `break` expression immediately terminates the innermost loop enclosing it.
+It is only permitted in the body of a loop.
+If the label is present, then `break foo` terminates the loop with label `foo`,
+which need not be the innermost label enclosing the `break` expression,
+but must enclose it.
 
-### Loop expressions
+### Continue expressions
 
 ~~~~~~~~{.ebnf .gram}
-loop_expr : "loop" ;
-~~~~~~~~
-
-Evaluating a `loop` expression immediately terminates the current iteration of
-the innermost loop enclosing it, returning control to the loop *head*. In the
-case of a `while` loop, the head is the conditional expression controlling the
-loop. In the case of a `for` loop, the head is the call-expression controlling
-the loop.
+continue_expr : "loop" [ ident ];
+~~~~~~~~
+
+A continue expression, written `loop`, also has an optional `label`.
+If the label is absent,
+then executing a `loop` expression immediately terminates the current iteration of the innermost loop enclosing it,
+returning control to the loop *head*.
+In the case of a `while` loop,
+the head is the conditional expression controlling the loop.
+In the case of a `for` loop, the head is the call-expression controlling the loop.
+If the label is present, then `loop foo` returns control to the head of the loop with label `foo`,
+which need not be the innermost label enclosing the `break` expression,
+but must enclose it.
 
 A `loop` expression is only permitted in the body of a loop.