Repository navigation

[Experiment] Rewrite exhaustiveness in one pass - #111720

Closed

Nadrieril wants to merge 40 commits into

rust-lang:masterfrom

Nadrieril:linear-pass-take-2

Closed

[Experiment] Rewrite exhaustiveness in one pass#111720
Nadrieril wants to merge 40 commits into
rust-lang:masterfrom
Nadrieril:linear-pass-take-2

Commits on May 18, 2023
- Add some tests
  Nadrieril
  committed
  2bed859
- Don't use per-arm lint levels
  Nadrieril
  committed
  0332402
- Implement lint as a separate columns-wise pass
  Nadrieril
  committed
  2058de5
- Abstract over list of witnesses
  Nadrieril
  committed
  0361bf2
- Add some or-pat tests
  Nadrieril
  committed
  49b1581
- Separate arm reachability from match exhaustiveness
  Nadrieril
  committed
  366a444
- Start push in matrix early
  Nadrieril
  committed
  8b958d1
- Getting close
  Nadrieril
  committed
  df7b156
- fix constants!
  Nadrieril
  committed
  90afa1d
- kill perf now
  Nadrieril
  committed
  a2310d6
- ayyyy one pass
  Nadrieril
  committed
  4c3fdbb
- use set to emulate splitwildcard
  Nadrieril
  committed
  690e600
- true one pass!
  Nadrieril
  committed
  d96a78a
- don't need SplitWildcard anymore
  Nadrieril
  committed
  51fed5e
- Specialize `ConstructorSet` per type. Got rid of `ctor.split()`
  Nadrieril
  committed
  1e1db2e
Commits on May 21, 2023
- track whether we're collecting witnesses
  Nadrieril
  committed
  9c33ea7
- try a lil perf improvement
  Nadrieril
  committed
  ea36f62
- fix silly doc errors
  Nadrieril
  committed
  d8e3c8a
- tiny speedup
  Nadrieril
  committed
  0808629
- Test usize + half-open ranges
  Nadrieril
  committed
  0a67808
- Avoid quadratic behavior in usize/isize matches
  Nadrieril
  committed
  3dd0d1c
- Clean up SplitIntRange a bit
  Nadrieril
  committed
  33ec800
- better range analysis: step 1
  Nadrieril
  committed
  449b284
- better range analysis: step 2
  Nadrieril
  committed
  e762149
- better range analysis: step 3
  Nadrieril
  committed
  8458c9f
- better range analysis: do overlap check after splitting
  Nadrieril
  committed
  a3c91da
- maybe tiny perf gain?
  Nadrieril
  committed
  1bf40c2
Commits on May 23, 2023
- Store wildcard row in the matrix
  Nadrieril
  committed
  5450fd5
- cleanup
  Nadrieril
  committed
  144ea11
- Clarify handling empty types
  Nadrieril
  committed
  23dc7c9
- Filter hidden variants earlier
  Nadrieril
  committed
  77ba32d
- tweak
  Nadrieril
  committed
  2364522
- tweak
  Nadrieril
  committed
  c6976d8
- tweak
  Nadrieril
  committed
  500e0bd
- `pcx.span` was no longer meaningful
  Nadrieril
  committed
  5072a1e
- Cleanup slice splitting
  Nadrieril
  committed
  f030769
- Splitting ensures subrange comparison is all we need
  Nadrieril
  committed
  5cfb953
- Don't need to carry the `bias` around in `IntRange`
  Nadrieril
  committed
  8670ba9
- Revert one-pass-omitted-patterns-lint
  Nadrieril
  committed
  839b032
- Check overlapping_range lint level per arm
  Nadrieril
  committed
  16095a8

Commits

Commits on May 18, 2023

Commits on May 21, 2023

Commits on May 23, 2023