Document how closure capturing interacts with discriminant reads#1837

Merged

ehuss merged 27 commits intorust-lang:masterfrom

meithecatte:discriminant-reads

Dec 19, 2025

Commits on Dec 19, 2025

Document how closure capturing interacts with discriminant reads

meithecatte
authored and
ehuss
committed
Document how range and slice patterns can constitute discriminant reads

meithecatte
authored and
ehuss
committed
Don't call things "discriminant reads" just because they behave like ones

meithecatte
authored and
ehuss
committed
Clarify what gets read by slice patterns

meithecatte
authored and
ehuss
committed
Revise text about capture precision

traviscross
authored and
ehuss
committed
Revise intro on wildcard patterns and capturing

traviscross
authored and
ehuss
committed
Add example of what's not captured w.r.t. destructuring

traviscross
authored and
ehuss
committed
Make statement more self-standing

traviscross
authored and
ehuss
committed
Add rule identifier to destructuring/capturing claim

traviscross
authored and
ehuss
committed
Fix `non_exhaustive` rule identifier fragment

traviscross
authored and
ehuss
committed
Add forward reference for `non_exhaustive` exception

traviscross
authored and
ehuss
committed
Revise text about field matching and `..`

traviscross
authored and
ehuss
committed
Add identifier for wildcard fields capturing rule

traviscross
authored and
ehuss
committed
Remove example lead-in from array slice capturing rule

traviscross
authored and
ehuss
committed
Remove redundant example on structs and capturing

traviscross
authored and
ehuss
committed
Improve examples in wildcard capturing section

traviscross
authored and
ehuss
committed
Clarify main discriminant reads rule

traviscross
authored and
ehuss
committed
Revise examples for main discriminant reads rule

traviscross
authored and
ehuss
committed
Revise `...discriminants.single-variant` rule

traviscross
authored and
ehuss
committed
Revise `...discriminants.non_exhaustive` rule

traviscross
authored and
ehuss
committed
Revise `...discriminants.uninhabited-variants` rule

traviscross
authored and
ehuss
committed
Revise `...discriminants.range-patterns` rule

traviscross
authored and
ehuss
committed
Revise `...discriminants.slice-patterns-*` rules

traviscross
authored and
ehuss
committed
Separate sections for range/slice pattern capturing

traviscross
authored and
ehuss
committed
Add admonition about the desugaring of destructuring

traviscross
authored and
ehuss
committed
Add admonition about pointer vs pointee capturing

traviscross
authored and
ehuss
committed
Fix preexisting typo on "ancestors"

traviscross
authored and
ehuss
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Document how closure capturing interacts with discriminant reads#1837

Document how closure capturing interacts with discriminant reads#1837
ehuss merged 27 commits intorust-lang:masterfrom
meithecatte:discriminant-reads

Commits on Dec 19, 2025

Document how closure capturing interacts with discriminant reads

Document how range and slice patterns can constitute discriminant reads

Don't call things "discriminant reads" just because they behave like ones

Clarify what gets read by slice patterns

Revise text about capture precision

Revise intro on wildcard patterns and capturing

Add example of what's not captured w.r.t. destructuring

Make statement more self-standing

Add rule identifier to destructuring/capturing claim

Fix `non_exhaustive` rule identifier fragment

Add forward reference for `non_exhaustive` exception

Revise text about field matching and `..`

Add identifier for wildcard fields capturing rule

Remove example lead-in from array slice capturing rule

Remove redundant example on structs and capturing

Improve examples in wildcard capturing section

Clarify main discriminant reads rule

Revise examples for main discriminant reads rule

Revise `...discriminants.single-variant` rule

Revise `...discriminants.non_exhaustive` rule

Revise `...discriminants.uninhabited-variants` rule

Revise `...discriminants.range-patterns` rule

Revise `...discriminants.slice-patterns-*` rules

Separate sections for range/slice pattern capturing

Add admonition about the desugaring of destructuring

Add admonition about pointer vs pointee capturing

Fix preexisting typo on "ancestors"

Document how closure capturing interacts with discriminant reads#1837ehuss merged 27 commits intorust-lang:masterrust-lang/reference:masterfrom meithecatte:discriminant-readsmeithecatte/reference:discriminant-readsCopy head branch name to clipboard

Commits

Commits on Dec 19, 2025

Document how closure capturing interacts with discriminant reads#1837
ehuss merged 27 commits intorust-lang:masterfrom
meithecatte:discriminant-reads