Repository navigation

Document how closure capturing interacts with discriminant reads - #1837

Merged

ehuss merged 27 commits into

rust-lang:masterfrom

meithecatte:discriminant-reads

Dec 19, 2025

Merged

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

Commits on Dec 19, 2025
- Document how closure capturing interacts with discriminant reads
  
  meithecatte
  authored and
  ehuss
  committed
  b47f571
- Document how range and slice patterns can constitute discriminant reads
  
  meithecatte
  authored and
  ehuss
  committed
  0d3942b
- Don't call things "discriminant reads" just because they behave like ones
  
  meithecatte
  authored and
  ehuss
  committed
  147fd57
- Clarify what gets read by slice patterns
  
  meithecatte
  authored and
  ehuss
  committed
  69e5f80
- Revise text about capture precision
  
  traviscross
  authored and
  ehuss
  committed
  7447e5a
- Revise intro on wildcard patterns and capturing
  
  traviscross
  authored and
  ehuss
  committed
  31ce0a3
- Add example of what's not captured w.r.t. destructuring
  
  traviscross
  authored and
  ehuss
  committed
  d7a5f9c
- Make statement more self-standing
  
  traviscross
  authored and
  ehuss
  committed
  4e42d16
- Add rule identifier to destructuring/capturing claim
  
  traviscross
  authored and
  ehuss
  committed
  8f60bab
- Fix `non_exhaustive` rule identifier fragment
  
  traviscross
  authored and
  ehuss
  committed
  02ca96f
- Add forward reference for `non_exhaustive` exception
  
  traviscross
  authored and
  ehuss
  committed
  a7b12d4
- Revise text about field matching and `..`
  
  traviscross
  authored and
  ehuss
  committed
  b8b4c94
- Add identifier for wildcard fields capturing rule
  
  traviscross
  authored and
  ehuss
  committed
  4e0e00a
- Remove example lead-in from array slice capturing rule
  
  traviscross
  authored and
  ehuss
  committed
  1390c45
- Remove redundant example on structs and capturing
  
  traviscross
  authored and
  ehuss
  committed
  2d79a1e
- Improve examples in wildcard capturing section
  
  traviscross
  authored and
  ehuss
  committed
  16c7d9e
- Clarify main discriminant reads rule
  
  traviscross
  authored and
  ehuss
  committed
  1eff192
- Revise examples for main discriminant reads rule
  
  traviscross
  authored and
  ehuss
  committed
  64ac8db
- Revise `...discriminants.single-variant` rule
  
  traviscross
  authored and
  ehuss
  committed
  c5f4a8a
- Revise `...discriminants.non_exhaustive` rule
  
  traviscross
  authored and
  ehuss
  committed
  aaf0e02
- Revise `...discriminants.uninhabited-variants` rule
  
  traviscross
  authored and
  ehuss
  committed
  7ad248f
- Revise `...discriminants.range-patterns` rule
  
  traviscross
  authored and
  ehuss
  committed
  a2877af
- Revise `...discriminants.slice-patterns-*` rules
  
  traviscross
  authored and
  ehuss
  committed
  e0c9612
- Separate sections for range/slice pattern capturing
  
  traviscross
  authored and
  ehuss
  committed
  69e7dfe
- Add admonition about the desugaring of destructuring
  
  traviscross
  authored and
  ehuss
  committed
  c84f25f
- Add admonition about pointer vs pointee capturing
  
  traviscross
  authored and
  ehuss
  committed
  bc6c3c4
- Fix preexisting typo on "ancestors"
  
  traviscross
  authored and
  ehuss
  committed
  010f9a8

Commits

Commits on Dec 19, 2025