rust-lang / rust-lang/reference
Detail divergence for the rest of the expressions
Open
@ehuss is already working on this.
Since Feb 1, 2026.
A-divergence
- Dominant language
- Rust
- Stars
- 1.6k
- Forks
- 607
- PR merge metrics
- PR metrics pending
Description
https://github.com/rust-lang/reference/pull/2067 added a chapter on divergence with some rules for the divergence of some of the more tricky expressions like if or match. However, we were thinking of defining the behavior of some or all of the expressions explicitly. See https://github.com/rust-lang/reference/pull/2067#issuecomment-3782115579 for the discussion.
I have a draft where I am exploring how this is presented.
cc @jackh726
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.