| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-02-28 | Rename `Skip` to `PrivateUninhabited` | Nadrieril | -9/+9 |
| 2024-02-28 | Don't filter out skipped fields | Nadrieril | -5/+22 |
| 2024-02-28 | Push the decision to skip fields further down | Nadrieril | -2/+4 |
| 2024-02-25 | Rollup merge of #121324 - Nadrieril:unspecialize, r=cjgillot | Matthias Krüger | -15/+21 |
| 2024-02-20 | Auto merge of #120692 - Nadrieril:move-column-analysis-to-placeinfo, r=compil... | bors | -74/+90 |
| 2024-02-20 | Factor out unspecialization | Nadrieril | -15/+21 |
| 2024-02-12 | Auto merge of #120324 - Nadrieril:remove-interior-mutability, r=compiler-errors | bors | -30/+61 |
| 2024-02-08 | Move constructor selection logic to `PlaceInfo` | Nadrieril | -56/+79 |
| 2024-02-08 | Decide which constructors to report earlier. | Nadrieril | -19/+17 |
| 2024-02-08 | Tweak how we record missing constructors | Nadrieril | -21/+16 |
| 2024-02-07 | Prefer "0..MAX not covered" to "_ not covered" | Nadrieril | -5/+3 |
| 2024-02-07 | Use a unique id instead of by-address indexing | Nadrieril | -34/+10 |
| 2024-02-07 | Cleanup comments and dead code | Nadrieril | -9/+5 |
| 2024-02-07 | Track redundant subpatterns without interior mutability | Nadrieril | -21/+55 |
| 2024-02-07 | Move usefulness-specific pattern computations to `usefulness` | Nadrieril | -6/+31 |
| 2024-02-07 | Rollup merge of #120633 - Nadrieril:place_info, r=compiler-errors | Guillaume Boisseau | -40/+57 |
| 2024-02-06 | Rollup merge of #120331 - Nadrieril:no-arena, r=compiler-errors | Matthias Krüger | -2/+2 |
| 2024-02-06 | Track `is_top_level` via `PlaceInfo` | Nadrieril | -10/+14 |
| 2024-02-06 | Zip together `place_ty` and `place_validity` | Nadrieril | -33/+46 |
| 2024-02-05 | Auto merge of #120313 - Nadrieril:graceful-error, r=compiler-errors | bors | -4/+4 |
| 2024-02-03 | Rollup merge of #120516 - Nadrieril:cleanup-impls, r=compiler-errors | Matthias Krüger | -12/+2 |
| 2024-01-31 | Use a `Vec` instead of a slice in `DeconstructedPat` | Nadrieril | -2/+2 |
| 2024-01-31 | Gracefully abort on type incompatibility | Nadrieril | -4/+4 |
| 2024-01-31 | Manual `Debug` impls are not needed since `TypeCx: Debug` | Nadrieril | -12/+2 |
| 2024-01-30 | Separate `PlaceCtxt` from `UsefulnessCtxt` | Nadrieril | -8/+8 |
| 2024-01-30 | Repurpose `MatchCtxt` for usefulness only | Nadrieril | -6/+20 |
| 2024-01-30 | Limit the use of `PlaceCtxt` | Nadrieril | -19/+15 |
| 2024-01-27 | Stop using derivative in rustc_pattern_analysis | Laurențiu Nicola | -12/+46 |
| 2024-01-26 | Rollup merge of #118803 - Nadrieril:min-exhaustive-patterns, r=compiler-errors | Matthias Krüger | -9/+17 |
| 2024-01-25 | Implement feature gate logic | Nadrieril | -9/+17 |
| 2024-01-24 | Let `ctor_sub_tys` return any Iterator they want | Nadrieril | -3/+5 |
| 2024-01-20 | Remove Ty: Copy bound | Nadrieril | -8/+9 |
| 2024-01-19 | Rollup merge of #119835 - Nadrieril:simplify-empty-logic, r=compiler-errors | Matthias Krüger | -35/+22 |
| 2024-01-15 | Remove the unused `overlapping_range_endpoints` Vec | Nadrieril | -37/+5 |
| 2024-01-15 | Lint overlapping ranges directly from exhaustiveness | Nadrieril | -11/+5 |
| 2024-01-15 | Simplify empty pattern logic some more | Nadrieril | -8/+7 |
| 2024-01-15 | Simplify empty pattern logic a bit | Nadrieril | -14/+13 |
| 2024-01-15 | Make all the empty pattern decisions in `usefulness` | Nadrieril | -5/+13 |
| 2024-01-15 | Simplify use of `ValidityConstraint` | Nadrieril | -23/+4 |
| 2024-01-12 | rustc_pattern_analysis no longer needs to be passed an arena | Nadrieril | -9/+9 |
| 2024-01-11 | Only lint ranges that really overlap | Nadrieril | -4/+113 |
| 2024-01-11 | Factor out collection of overlapping ranges | Nadrieril | -1/+10 |
| 2024-01-11 | Track row intersections | Nadrieril | -18/+36 |
| 2024-01-11 | Auto merge of #119837 - matthiaskrgr:rollup-l2olpad, r=matthiaskrgr | bors | -12/+13 |
| 2024-01-07 | Abort analysis on type error | Nadrieril | -2/+2 |
| 2024-01-07 | Add an error path to the algorithm | Nadrieril | -10/+11 |
| 2024-01-07 | We only need the arity of the subtype list now | Nadrieril | -9/+7 |
| 2024-01-07 | Use special enum to represent algorithm-generated wildcards in the matrix | Nadrieril | -12/+9 |
| 2024-01-06 | Reuse `ctor_sub_tys` when we have one around | Nadrieril | -3/+6 |
| 2024-01-06 | Remove `Matrix.wildcard_row` | Nadrieril | -18/+24 |
