| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -1/+1 |
| 2024-03-21 | Rollup merge of #122644 - Nadrieril:complexity-tests, r=compiler-errors | Matthias Krüger | -3/+4 |
| 2024-03-20 | Add barest-bones deref patterns | Nadrieril | -0/+6 |
| 2024-03-19 | Improve the `WitnessPat: Debug` impl | Nadrieril | -3/+4 |
| 2024-03-18 | Rollup merge of #121823 - Nadrieril:never-witnesses, r=compiler-errors | Matthias Krüger | -3/+4 |
| 2024-03-13 | Rollup merge of #122437 - Nadrieril:no-after-max, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2024-03-13 | Remove `MaybeInfiniteInt::JustAfterMax` | Nadrieril | -1/+1 |
| 2024-03-13 | Rename `RustcMatchCheckCtxt` -> `RustcPatCtxt` | Nadrieril | -23/+18 |
| 2024-03-13 | Rename `TypeCx` -> `PatCx` | Nadrieril | -2/+2 |
| 2024-03-12 | Add `Constructor::Never` | Nadrieril | -3/+4 |
| 2024-03-11 | `DeconstructedPat.data` is always present now | Nadrieril | -4/+4 |
| 2024-03-11 | Store field indices in `DeconstructedPat` to avoid virtual wildcards | Nadrieril | -23/+26 |
| 2024-03-11 | Store pattern arity in `DeconstructedPat` | Nadrieril | -3/+20 |
| 2024-03-09 | Lint small gaps between ranges | Nadrieril | -1/+65 |
| 2024-03-09 | Make `MaybeInfiniteInt::plus_one/minus_one` fallible | Nadrieril | -3/+3 |
| 2024-03-03 | Add new `pattern_complexity` attribute to add possibility to limit and check ... | Guillaume Gomez | -0/+5 |
| 2024-03-01 | Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errors | bors | -0/+2 |
| 2024-02-28 | Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive` | Trevor Gross | -0/+2 |
| 2024-02-28 | Rename `Skip` to `PrivateUninhabited` | Nadrieril | -10/+13 |
| 2024-02-28 | Simplify | Nadrieril | -46/+34 |
| 2024-02-28 | Don't filter out skipped fields | Nadrieril | -10/+5 |
| 2024-02-28 | Add special `Skip` constructor | Nadrieril | -21/+5 |
| 2024-02-28 | Push the decision to skip fields further down | Nadrieril | -7/+9 |
| 2024-02-28 | Push down the decision to skip fields | Nadrieril | -16/+22 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -1/+1 |
| 2024-02-06 | Rollup merge of #120331 - Nadrieril:no-arena, r=compiler-errors | Matthias Krüger | -40/+29 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -1/+2 |
| 2024-02-05 | Auto merge of #120313 - Nadrieril:graceful-error, r=compiler-errors | bors | -1/+1 |
| 2024-02-03 | Rollup merge of #120517 - Nadrieril:lower-never-as-wildcard, r=compiler-errors | Matthias Krüger | -2/+3 |
| 2024-01-31 | Remove `pattern_arena` from `RustcMatchCheckCtxt` | Nadrieril | -7/+5 |
| 2024-01-31 | Use a `Vec` instead of a slice in `DeconstructedPat` | Nadrieril | -33/+24 |
| 2024-01-31 | Gracefully abort on type incompatibility | Nadrieril | -1/+1 |
| 2024-01-31 | It is correct to lower `!` to `_`. | Nadrieril | -2/+3 |
| 2024-01-30 | Limit the use of `PlaceCtxt` | Nadrieril | -1/+0 |
| 2024-01-30 | Make `PatternColumn` generic in `Cx` | Nadrieril | -4/+0 |
| 2024-01-27 | Stop using derivative in rustc_pattern_analysis | Laurențiu Nicola | -2/+6 |
| 2024-01-26 | Rollup merge of #118803 - Nadrieril:min-exhaustive-patterns, r=compiler-errors | Matthias Krüger | -1/+6 |
| 2024-01-25 | Rollup merge of #120318 - Nadrieril:share-debug-impl, r=compiler-errors | Matthias Krüger | -99/+11 |
| 2024-01-25 | Implement feature gate logic | Nadrieril | -1/+6 |
| 2024-01-24 | Most of the `DeconstructedPat` `Debug` impl is reusable | Nadrieril | -99/+11 |
| 2024-01-24 | Let `ctor_sub_tys` return any Iterator they want | Nadrieril | -13/+13 |
| 2024-01-23 | Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`. | Nicholas Nethercote | -1/+1 |
| 2024-01-20 | Remove Ty: Copy bound | Nadrieril | -10/+10 |
| 2024-01-15 | Remove the unused `overlapping_range_endpoints` Vec | Nadrieril | -2/+0 |
| 2024-01-15 | Lint overlapping ranges directly from exhaustiveness | Nadrieril | -8/+27 |
| 2024-01-12 | rustc_pattern_analysis no longer needs to be passed an arena | Nadrieril | -2/+4 |
| 2024-01-11 | Factor out collection of overlapping ranges | Nadrieril | -0/+2 |
| 2024-01-07 | Abort analysis on type error | Nadrieril | -4/+13 |
| 2024-01-07 | Add an error path to the algorithm | Nadrieril | -0/+2 |
| 2024-01-01 | Statically enforce revealing of opaques | Nadrieril | -63/+112 |
