| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-26 | Keep reference to the original `Pat` in `DeconstructedPat` | Nadrieril | -2/+2 | |
| 2023-12-26 | Rollup merge of #119307 - compiler-errors:pat-lifetimes, r=Nadrieril | Michael Goulet | -10/+10 | |
| Clean up some lifetimes in `rustc_pattern_analysis` This PR removes some redundant lifetimes. I figured out that we were shortening the lifetime of an arena-allocated `&'p DeconstructedPat<'p>` to `'a DeconstructedPat<'p>`, which forced us to carry both lifetimes when we could otherwise carry just one. This PR also removes and elides some unnecessary lifetimes. I also cherry-picked 0292eb9bb9b897f5c0926c6a8530877f67e7cc9b, and then simplified more lifetimes in `MatchVisitor`, which should make #119233 a very simple PR! r? Nadrieril | ||||
| 2023-12-26 | Elide more lifetimes | Michael Goulet | -1/+1 | |
| 2023-12-26 | Yeet some lifetimes | Michael Goulet | -10/+10 | |
| 2023-12-24 | Remove `Session` methods that duplicate `DiagCtxt` methods. | Nicholas Nethercote | -1/+1 | |
| Also add some `dcx` methods to types that wrap `TyCtxt`, for easier access. | ||||
| 2023-12-23 | Clarify the situation with dummy patterns and `PatData` | Nadrieril | -2/+2 | |
| Use an explicit `Option` instead of requiring a `Default` bound | ||||
| 2023-12-20 | Reveal opaque types in exhaustiveness checking | Nadrieril | -15/+7 | |
| 2023-12-15 | s/MatchCx/TypeCx/ | Nadrieril | -1/+1 | |
| 2023-12-15 | Introduce `MatchCtxt` | Nadrieril | -29/+27 | |
| 2023-12-15 | s/PatCtxt/PlaceCtxt/ | Nadrieril | -5/+5 | |
| 2023-12-15 | `pattern_analysis` doesn't need to know what spans are | Nadrieril | -2/+2 | |
| 2023-12-15 | Address review comments | Nadrieril | -6/+3 | |
| 2023-12-15 | s/RustcCtxt/RustcMatchCheckCtxt/ | Nadrieril | -6/+7 | |
| 2023-12-15 | Iron out last rustc-specific details | Nadrieril | -1/+1 | |
| 2023-12-15 | Name rustc-specific things "rustc" | Nadrieril | -9/+8 | |
| 2023-12-15 | Abstract `MatchCheckCtxt` into a trait | Nadrieril | -12/+13 | |
| 2023-12-15 | Disentangle the arena from `MatchCheckCtxt` | Nadrieril | -18/+29 | |
| 2023-12-15 | Remove all matching on `ty.kind()` outside `cx` | Nadrieril | -3/+2 | |
| 2023-12-11 | Fix doc links | Nadrieril | -5/+4 | |
| 2023-12-11 | Move lints to their own module | Nadrieril | -0/+291 | |
