| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-01-25 | Rollup merge of #120318 - Nadrieril:share-debug-impl, r=compiler-errors | Matthias Krüger | -99/+11 | |
| pattern_analysis: Reuse most of the `DeconstructedPat` `Debug` impl The `DeconstructedPat: Debug` is best-effort because we'd need `tcx` to get things like field names etc. Since rust-analyzer has a similar constraint, this PR moves most the impl to be shared between the two. While I was at it I also fixed a nit in the `IntRange: Debug` impl. r? `@compiler-errors` | ||||
| 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 | |
| Since we always clone and allocate the types somewhere else ourselves, no need to ask for `Cx` to do the allocation. | ||||
| 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 | |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -1/+1 | |
| 2023-12-26 | Keep reference to the original `Pat` in `DeconstructedPat` | Nadrieril | -3/+3 | |
| 2023-12-26 | Merge 'thir and 'p | Michael Goulet | -1/+1 | |
| 2023-12-26 | Clean up more lifetimes | Michael Goulet | -4/+4 | |
| 2023-12-26 | Even more | Michael Goulet | -1/+1 | |
| 2023-12-23 | Reveal empty opaques in depth | Nadrieril | -4/+14 | |
| 2023-12-23 | Clarify the situation with dummy patterns and `PatData` | Nadrieril | -3/+3 | |
| Use an explicit `Option` instead of requiring a `Default` bound | ||||
| 2023-12-20 | Reveal opaque types in exhaustiveness checking | Nadrieril | -2/+19 | |
| 2023-12-15 | s/MatchCx/TypeCx/ | Nadrieril | -2/+2 | |
| 2023-12-15 | Introduce `MatchCtxt` | Nadrieril | -0/+1 | |
| 2023-12-15 | s/PatCtxt/PlaceCtxt/ | Nadrieril | -2/+2 | |
| 2023-12-15 | `pattern_analysis` doesn't need to know what spans are | Nadrieril | -2/+2 | |
| 2023-12-15 | s/RustcCtxt/RustcMatchCheckCtxt/ | Nadrieril | -24/+33 | |
| 2023-12-15 | Iron out last rustc-specific details | Nadrieril | -7/+13 | |
| 2023-12-15 | Name rustc-specific things "rustc" | Nadrieril | -0/+904 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |