about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src/rustc.rs
AgeCommit message (Expand)AuthorLines
2024-02-28Don't filter out skipped fieldsNadrieril-10/+5
2024-02-28Add special `Skip` constructorNadrieril-21/+5
2024-02-28Push the decision to skip fields further downNadrieril-7/+9
2024-02-28Push down the decision to skip fieldsNadrieril-16/+22
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-02-06Rollup merge of #120331 - Nadrieril:no-arena, r=compiler-errorsMatthias Krüger-40/+29
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-1/+2
2024-02-05Auto merge of #120313 - Nadrieril:graceful-error, r=compiler-errorsbors-1/+1
2024-02-03Rollup merge of #120517 - Nadrieril:lower-never-as-wildcard, r=compiler-errorsMatthias Krüger-2/+3
2024-01-31Remove `pattern_arena` from `RustcMatchCheckCtxt`Nadrieril-7/+5
2024-01-31Use a `Vec` instead of a slice in `DeconstructedPat`Nadrieril-33/+24
2024-01-31Gracefully abort on type incompatibilityNadrieril-1/+1
2024-01-31It is correct to lower `!` to `_`.Nadrieril-2/+3
2024-01-30Limit the use of `PlaceCtxt`Nadrieril-1/+0
2024-01-30Make `PatternColumn` generic in `Cx`Nadrieril-4/+0
2024-01-27Stop using derivative in rustc_pattern_analysisLaurențiu Nicola-2/+6
2024-01-26Rollup merge of #118803 - Nadrieril:min-exhaustive-patterns, r=compiler-errorsMatthias Krüger-1/+6
2024-01-25Rollup merge of #120318 - Nadrieril:share-debug-impl, r=compiler-errorsMatthias Krüger-99/+11
2024-01-25Implement feature gate logicNadrieril-1/+6
2024-01-24Most of the `DeconstructedPat` `Debug` impl is reusableNadrieril-99/+11
2024-01-24Let `ctor_sub_tys` return any Iterator they wantNadrieril-13/+13
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-1/+1
2024-01-20Remove Ty: Copy boundNadrieril-10/+10
2024-01-15Remove the unused `overlapping_range_endpoints` VecNadrieril-2/+0
2024-01-15Lint overlapping ranges directly from exhaustivenessNadrieril-8/+27
2024-01-12rustc_pattern_analysis no longer needs to be passed an arenaNadrieril-2/+4
2024-01-11Factor out collection of overlapping rangesNadrieril-0/+2
2024-01-07Abort analysis on type errorNadrieril-4/+13
2024-01-07Add an error path to the algorithmNadrieril-0/+2
2024-01-01Statically enforce revealing of opaquesNadrieril-63/+112
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-26Keep reference to the original `Pat` in `DeconstructedPat`Nadrieril-3/+3
2023-12-26Merge 'thir and 'pMichael Goulet-1/+1
2023-12-26Clean up more lifetimesMichael Goulet-4/+4
2023-12-26Even moreMichael Goulet-1/+1
2023-12-23Reveal empty opaques in depthNadrieril-4/+14
2023-12-23Clarify the situation with dummy patterns and `PatData`Nadrieril-3/+3
2023-12-20Reveal opaque types in exhaustiveness checkingNadrieril-2/+19
2023-12-15s/MatchCx/TypeCx/Nadrieril-2/+2
2023-12-15Introduce `MatchCtxt`Nadrieril-0/+1
2023-12-15s/PatCtxt/PlaceCtxt/Nadrieril-2/+2
2023-12-15`pattern_analysis` doesn't need to know what spans areNadrieril-2/+2
2023-12-15s/RustcCtxt/RustcMatchCheckCtxt/Nadrieril-24/+33
2023-12-15Iron out last rustc-specific detailsNadrieril-7/+13
2023-12-15Name rustc-specific things "rustc"Nadrieril-0/+904
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-11 13:06:16 +0000