Repository navigation

Add a chapter on divergence - #2067

Merged

ehuss merged 33 commits into

rust-lang:masterfrom

jackh726:reference-type-inference-divergence

Feb 1, 2026

Commits on Jan 29, 2026

Write chapter on divergence

jackh726
authored and
ehuss
committed
00f0849
Slight edits from lcnr's review

jackh726
authored and
ehuss
committed
ee00f3f
Address some review comments

jackh726
authored and
ehuss
committed
f1e8ba2
Use functions returning ! in tests

jackh726
authored and
ehuss
committed
7cf2333
Reviews from Jane

jackh726
authored and
ehuss
committed
c7dbc80
Fix test - updating items.fn.implicit-return to be more specific

jackh726
authored and
ehuss
committed
bd2507c
Fix CI

jackh726
authored and
ehuss
committed
87e1ebe
Add section about uninhabited types in divergence.md

jackh726
authored and
ehuss
committed
36d2d33
Address Niko's comments.

jackh726
authored and
ehuss
committed
0bc8eb8
Make `diverging_place_not_read` subject to failure

traviscross
authored and
ehuss
committed
76a6390
Consistently document and link diverging expressions
ehuss
committed
b398a52
Fix misspelling in an example
ehuss
committed
d6339e9
Add note about use of an unstable nightly feature
ehuss
committed
92cfc9b
Clarify subtlety about `if` example semicolon
ehuss
committed
4eecc7e
Fix stray `>`
ehuss
committed
3e64b91
Remove use of nightly feature in an example
ehuss
committed
1e95e31
Revert change to items.fn.implicit-return
ehuss
committed
9e273b9
Clean up the links for expr.block.type.diverging
ehuss
committed
6606f21
Clarify the wording for expr.block.type
ehuss
committed
9b51cb0
Clean up divergence chapter links
ehuss
committed
b20b749
Rename rule expr.block.diverging
ehuss
committed
5e4cd4e
Rename expr.match.conditional
ehuss
committed
5c0c215
Consistently use periods in comments
ehuss
committed
2a53c3a
Rework the divergence intro
ehuss
committed
afc201a
Add back the list of divergence rules
ehuss
committed
e8c69e7
Add divergence.never
ehuss
committed
e4a4abb
Move propagation statement to a note
ehuss
committed
071b165
Add rule expr.loop.break-value.implicit-value
ehuss
committed
93c063e
Specify the type of a labeled block expression
ehuss
committed
6c7c380
More clearly specify the type and divergence of a loop with break
ehuss
committed
1948110
Add some missing expressions for the LUB coercion list
ehuss
committed
67ce5c1
Move link to link definition
ehuss
committed
92fc80a
Remove note about match divergence and `!`
ehuss
committed
d9d1c1b

Navigation Menu

Repository navigation

Add a chapter on divergence - #2067

Add a chapter on divergence#2067
ehuss merged 33 commits into
rust-lang:masterfrom
jackh726:reference-type-inference-divergence

Commits on Jan 29, 2026

Write chapter on divergence

Slight edits from lcnr's review

Address some review comments

Use functions returning ! in tests

Reviews from Jane

Fix test - updating items.fn.implicit-return to be more specific

Fix CI

Add section about uninhabited types in divergence.md

Address Niko's comments.

Make `diverging_place_not_read` subject to failure

Consistently document and link diverging expressions

Fix misspelling in an example

Add note about use of an unstable nightly feature

Clarify subtlety about `if` example semicolon

Fix stray `>`

Remove use of nightly feature in an example

Revert change to items.fn.implicit-return

Clean up the links for expr.block.type.diverging

Clarify the wording for expr.block.type

Clean up divergence chapter links

Rename rule expr.block.diverging

Rename expr.match.conditional

Consistently use periods in comments

Rework the divergence intro

Add back the list of divergence rules

Add divergence.never

Move propagation statement to a note

Add rule expr.loop.break-value.implicit-value

Specify the type of a labeled block expression

More clearly specify the type and divergence of a loop with break

Add some missing expressions for the LUB coercion list

Move link to link definition

Remove note about match divergence and `!`