| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-01-06 | Reuse `ctor_sub_tys` when we have one around | Nadrieril | -1/+2 | |
| 2024-01-06 | Auto merge of #119329 - Nadrieril:reveal-opaques-early, r=compiler-errors | bors | -15/+8 | |
| Exhaustiveness: Statically enforce revealing of opaques In https://github.com/rust-lang/rust/pull/116821 it was decided that exhaustiveness should operate on the hidden type of an opaque type when relevant. This PR makes sure we consistently reveal opaques within exhaustiveness. This makes it possible to remove `reveal_opaque_ty` from the `TypeCx` trait which was an unfortunate implementation detail. r? `@compiler-errors` | ||||
| 2024-01-03 | Rename some `Diagnostic` setters. | Nicholas Nethercote | -1/+1 | |
| `Diagnostic` has 40 methods that return `&mut Self` and could be considered setters. Four of them have a `set_` prefix. This doesn't seem necessary for a type that implements the builder pattern. This commit removes the `set_` prefixes on those four methods. | ||||
| 2024-01-01 | Statically enforce revealing of opaques | Nadrieril | -15/+8 | |
| 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 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |