Repository navigation

Clarify pattern-matching usefulness algorithm - #65874

Merged

bors merged 17 commits into

rust-lang:masterfrom

Nadrieril:clarify-usefulness

Nov 5, 2019

Merged

Clarify pattern-matching usefulness algorithm#65874
bors merged 17 commits into
rust-lang:masterfrom
Nadrieril:clarify-usefulness

Commits on Oct 27, 2019
- Run `rustfmt`
  Nadrieril
  committed
  a5de5a6
- tidy
  Nadrieril
  committed
  af35934
- Remove mention of old slice pattern syntax
  Nadrieril
  committed
  7986599
- Clarify and fix the explanation of the algorithm
  Nadrieril
  committed
  2665b64
Commits on Nov 1, 2019
- Abstract out pattern stacks to make the code more legible
  Nadrieril
  committed
  403d6bd
- Factor out some pattern-stack related functions
  Nadrieril
  committed
  23ca38e
- Remove some redundancy
  Nadrieril
  committed
  5e734be
- Remove duplicate logic in compute_missing_constructors
  Nadrieril
  committed
  0c02c19
- Extract constructor application as a Constructor method
  Nadrieril
  committed
  b454581
- Refactor "wild constructor" construction
  Nadrieril
  committed
  175976e
- Clarify some variable names
  Nadrieril
  committed
  57a656a
- `specialize` conceptually operates on a single pattern
  Nadrieril
  committed
  d663c27
- Wording
  Nadrieril
  committed
  cc4583d
- Define a MissingConstructors struct for cleanliness
  Nadrieril
  committed
  92101b7
- Factor out constructor subtraction
  Nadrieril
  committed
  b7fa9f1
- Factor out witness reconstruction
  Nadrieril
  committed
  8956c1e
- Clarifications suggested by varkor
  Nadrieril
  committed
  a96d700