| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 | -62/+60 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -1/+2 |
| 2024-02-06 | Invert diagnostic lints. | Nicholas Nethercote | -0/+3 |
| 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 | -14/+18 |
| 2024-02-03 | Rollup merge of #120517 - Nadrieril:lower-never-as-wildcard, r=compiler-errors | Matthias Krüger | -2/+3 |
| 2024-02-03 | Rollup merge of #120516 - Nadrieril:cleanup-impls, r=compiler-errors | Matthias Krüger | -91/+4 |
| 2024-02-02 | Remove dead args from functions | Michael Goulet | -1/+1 |
| 2024-01-31 | Remove `pattern_arena` from `RustcMatchCheckCtxt` | Nadrieril | -8/+9 |
| 2024-01-31 | Use a `Vec` instead of a slice in `DeconstructedPat` | Nadrieril | -54/+51 |
| 2024-01-31 | Gracefully abort on type incompatibility | Nadrieril | -14/+18 |
| 2024-01-31 | It is correct to lower `!` to `_`. | Nadrieril | -2/+3 |
| 2024-01-31 | Manual `Debug` impls are not needed since `TypeCx: Debug` | Nadrieril | -49/+4 |
| 2024-01-31 | Remove unused `Constructor: PartialEq` impl | Nadrieril | -42/+0 |
| 2024-01-30 | Separate `PlaceCtxt` from `UsefulnessCtxt` | Nadrieril | -8/+8 |
| 2024-01-30 | Make `PatternColumn` part of the public API | Nadrieril | -90/+101 |
| 2024-01-30 | Repurpose `MatchCtxt` for usefulness only | Nadrieril | -23/+21 |
| 2024-01-30 | Limit the use of `PlaceCtxt` | Nadrieril | -52/+42 |
| 2024-01-30 | Make `PatternColumn` generic in `Cx` | Nadrieril | -27/+20 |
| 2024-01-27 | Stop using derivative in rustc_pattern_analysis | Laurențiu Nicola | -25/+191 |
| 2024-01-26 | Rollup merge of #118803 - Nadrieril:min-exhaustive-patterns, r=compiler-errors | Matthias Krüger | -10/+24 |
| 2024-01-25 | Rollup merge of #120318 - Nadrieril:share-debug-impl, r=compiler-errors | Matthias Krüger | -107/+97 |
| 2024-01-25 | Implement feature gate logic | Nadrieril | -10/+24 |
| 2024-01-24 | Improve `Range: Debug` impl | Nadrieril | -5/+11 |
| 2024-01-24 | Most of the `DeconstructedPat` `Debug` impl is reusable | Nadrieril | -102/+86 |
| 2024-01-24 | Let `ctor_sub_tys` return any Iterator they want | Nadrieril | -19/+24 |
| 2024-01-23 | Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`. | Nicholas Nethercote | -2/+2 |
| 2024-01-20 | Remove Ty: Copy bound | Nadrieril | -30/+31 |
| 2024-01-19 | Rollup merge of #119835 - Nadrieril:simplify-empty-logic, r=compiler-errors | Matthias Krüger | -50/+28 |
| 2024-01-17 | Rollup merge of #120039 - Nadrieril:remove-idx, r=compiler-errors | Matthias Krüger | -6/+48 |
| 2024-01-17 | Don't rely on contiguous `VariantId`s outside of rustc | Nadrieril | -6/+48 |
| 2024-01-15 | Remove the unused `overlapping_range_endpoints` Vec | Nadrieril | -39/+5 |
| 2024-01-15 | Lint overlapping ranges directly from exhaustiveness | Nadrieril | -59/+49 |
| 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 | -20/+19 |
| 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 | -34/+19 |
| 2024-01-11 | Only lint ranges that really overlap | Nadrieril | -90/+118 |
| 2024-01-11 | Factor out collection of overlapping ranges | Nadrieril | -31/+62 |
| 2024-01-11 | Track row intersections | Nadrieril | -18/+36 |
| 2024-01-11 | Auto merge of #119837 - matthiaskrgr:rollup-l2olpad, r=matthiaskrgr | bors | -37/+59 |
| 2024-01-09 | Document the new `expand_and_push` method | Nadrieril | -3/+5 |
| 2024-01-09 | Avoid `PatOrWild` glob import | Nadrieril | -18/+18 |
| 2024-01-07 | Abort analysis on type error | Nadrieril | -11/+24 |
| 2024-01-07 | Add an error path to the algorithm | Nadrieril | -26/+35 |
| 2024-01-07 | We only need the arity of the subtype list now | Nadrieril | -18/+13 |
| 2024-01-07 | Use special enum to represent algorithm-generated wildcards in the matrix | Nadrieril | -42/+100 |
