Skip to content

block-expr: add new rule expr.block.result-value #2174

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
traviscross merged 3 commits into from
Feb 17, 2026
Merged

block-expr: add new rule expr.block.result-value #2174

Changes from 2 commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
24a2ca3
block-expr: add new rule expr.block.result-value
DanielEScherzer Feb 15, 2026
fc52d08
Revise text for `expr.block.result-value`
traviscross Feb 17, 2026
ca60ddd
Revise trailing expression block rules
traviscross Feb 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions src/expressions/block-expr.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -45,6 +45,9 @@ Then the final operand is executed, if given.
r[expr.block.type]
The type of a block is the type of its final operand; if that operand is omitted, the type is the [unit type], unless the block [diverges][expr.block.diverging], in which case it is the [never type].

r[expr.block.result-value]
The value of a block is the value of its final operand; if that operand is omitted, the value is the [unit value][type.tuple.unit], unless the block [diverges][expr.block.diverging], in which case the block has no value as its type is uninhabited.

```rust
# fn fn_call() {}
let _: () = {
Expand Down