Skip to content

Commit 3071432

Browse files
committed
Elaborate on block expression contents
1 parent f9121dc commit 3071432

File tree

1 file changed

+8
-4
lines changed

1 file changed

+8
-4
lines changed

src/const_eval.md

+8-4
Original file line numberDiff line numberDiff line change
@@ -26,8 +26,13 @@ to be ran.
2626
* [Array expressions].
2727
* [Struct] expressions.
2828
* [Enum variant] expressions.
29-
* [Block expressions], including `unsafe` blocks, which only contain items and
30-
possibly a constant tail expression.
29+
* [Block expressions], including `unsafe` blocks.
30+
* [let statement]s and thus irrefutable [patterns], with the caveat that until `if` and `match`
31+
are implemented, one cannot use both short circuiting operators (`&&` and `||`) and let
32+
statements within the same constant.
33+
* [assignment expressions](operator-expr.html#assignment-expressions)
34+
* [assignment operator expressions](operator-expr.html#compound-assignment-expressions)
35+
* [expression statements](statements.html#expression-statements)
3136
* [Field] expressions.
3237
* Index expressions, [array indexing] or [slice] with a `usize`.
3338
* [Range expressions].
@@ -39,8 +44,7 @@ to be ran.
3944
* [Grouped] expressions.
4045
* [Cast] expressions, except pointer to address and
4146
function pointer to address casts.
42-
* Calls of const functions and const methods
43-
* [let statement]s and thus irrefutable [patterns]
47+
* Calls of const functions and const methods.
4448

4549
## Const context
4650

0 commit comments

Comments
 (0)