Rollup merge of #24753 - tynopex:patch-1, r=steveklabnik

 Add section for range expressions.

1 files changed, 27 insertions, 0 deletions

diff --git a/src/doc/reference.md b/src/doc/reference.md
index d150075a0f4..4e4b9c5bf6e 100644
--- a/src/doc/reference.md
+++ b/src/doc/reference.md
@@ -2806,6 +2806,33 @@ _panicked state_.
 (["a", "b"])[10]; // panics
 ```
 
+### Range expressions
+
+```{.ebnf .gram}
+range_expr : expr ".." expr |
+             expr ".." |
+             ".." expr |
+             ".." ;
+```
+
+The `..` operator will construct an object of one of the `std::ops::Range` variants.
+
+```
+1..2;   // std::ops::Range
+3..;    // std::ops::RangeFrom
+..4;    // std::ops::RangeTo
+..;     // std::ops::RangeFull
+```
+
+The following expressions are equivalent.
+
+```
+let x = std::ops::Range {start: 0, end: 10};
+let y = 0..10;
+
+assert_eq!(x,y);
+```
+
 ### Unary operator expressions
 
 Rust defines three unary operators. They are all written as prefix operators,