Repository navigation

Add more rules about when expressions diverge - #2186

Open

ehuss wants to merge 12 commits into

rust-lang:masterfrom

ehuss:more-divergence

Open

Add more rules about when expressions diverge#2186
ehuss wants to merge 12 commits into
rust-lang:masterfrom
ehuss:more-divergence

Commits on Sep 29, 2026
- Add more rules about when expressions diverge
  ehuss
  committed
  323d515
- Add a description of what it means to "read" for the purpose of divergence
  ehuss
  committed
  5929834
Commits on Oct 7, 2026
- Rework the never-type rule for unread places
  traviscross
  committed
  dfa2d13
- Rework the `divergence.never-*` rules
  traviscross
  committed
  282ce6f
Commits on Oct 13, 2026
- Drop the unread place carve-outs from other rules
  traviscross
  committed
  6dbcca3
- Add missing `unsafe` block in inline asm example
  traviscross
  committed
  0c9d46e
- Fix `callee_diverges` example in *Call Expressions*
  traviscross
  committed
  54c8520
- Fill out the *Divergence* index
  traviscross
  committed
  3b06078
- Describe divergence behavior of *constructs*
  traviscross
  committed
  b2908e8
- Add missing `cfg`s on asm divergence examples
  traviscross
  committed
  a46bc2a
Commits on Oct 27, 2026
- Use defined terms in the divergence rules
  traviscross
  committed
  ec5e31c
- Include the base operand in the struct divergence rule
  traviscross
  committed
  0486a78