about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src/lib.rs
AgeCommit message (Expand)AuthorLines
2024-03-03Add new `pattern_complexity` attribute to add possibility to limit and check ...Guillaume Gomez-1/+6
2024-02-28Rename `Skip` to `PrivateUninhabited`Nadrieril-3/+4
2024-02-28Don't filter out skipped fieldsNadrieril-2/+1
2024-02-28Push the decision to skip fields further downNadrieril-3/+7
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-0/+3
2024-02-06Rollup merge of #120331 - Nadrieril:no-arena, r=compiler-errorsMatthias Krüger-4/+4
2024-02-06Invert diagnostic lints.Nicholas Nethercote-0/+3
2024-01-31Use a `Vec` instead of a slice in `DeconstructedPat`Nadrieril-4/+4
2024-01-31Gracefully abort on type incompatibilityNadrieril-1/+1
2024-01-30Make `PatternColumn` part of the public APINadrieril-1/+3
2024-01-30Repurpose `MatchCtxt` for usefulness onlyNadrieril-17/+1
2024-01-30Limit the use of `PlaceCtxt`Nadrieril-1/+1
2024-01-27Stop using derivative in rustc_pattern_analysisLaurențiu Nicola-4/+16
2024-01-26Rollup merge of #118803 - Nadrieril:min-exhaustive-patterns, r=compiler-errorsMatthias Krüger-0/+1
2024-01-25Rollup merge of #120318 - Nadrieril:share-debug-impl, r=compiler-errorsMatthias Krüger-2/+6
2024-01-25Implement feature gate logicNadrieril-0/+1
2024-01-24Most of the `DeconstructedPat` `Debug` impl is reusableNadrieril-2/+6
2024-01-24Let `ctor_sub_tys` return any Iterator they wantNadrieril-1/+5
2024-01-20Remove Ty: Copy boundNadrieril-4/+4
2024-01-17Rollup merge of #120039 - Nadrieril:remove-idx, r=compiler-errorsMatthias Krüger-2/+40
2024-01-17Don't rely on contiguous `VariantId`s outside of rustcNadrieril-2/+40
2024-01-15Lint overlapping ranges directly from exhaustivenessNadrieril-11/+14
2024-01-12rustc_pattern_analysis no longer needs to be passed an arenaNadrieril-13/+2
2024-01-11Only lint ranges that really overlapNadrieril-1/+3
2024-01-11Factor out collection of overlapping rangesNadrieril-1/+1
2024-01-07Abort analysis on type errorNadrieril-1/+1
2024-01-07Add an error path to the algorithmNadrieril-5/+9
2024-01-01Statically enforce revealing of opaquesNadrieril-2/+1
2023-12-26Yeet some lifetimesMichael Goulet-1/+1
2023-12-23Clarify the situation with dummy patterns and `PatData`Nadrieril-3/+2
2023-12-23Use `derivative` for better derive boundsNadrieril-7/+6
2023-12-20Reveal opaque types in exhaustiveness checkingNadrieril-1/+2
2023-12-15s/MatchCx/TypeCx/Nadrieril-7/+7
2023-12-15Introduce `MatchCtxt`Nadrieril-12/+34
2023-12-15`pattern_analysis` doesn't need to know what spans areNadrieril-1/+4
2023-12-15Address review commentsNadrieril-4/+0
2023-12-15s/RustcCtxt/RustcMatchCheckCtxt/Nadrieril-2/+2
2023-12-15Make the `rustc_data_structures` dependency optionalNadrieril-0/+7
2023-12-15Gate rustc-specific code under a featureNadrieril-5/+15
2023-12-15Iron out last rustc-specific detailsNadrieril-1/+5
2023-12-15Name rustc-specific things "rustc"Nadrieril-6/+6
2023-12-15Abstract `MatchCheckCtxt` into a traitNadrieril-7/+42
2023-12-15Disentangle the arena from `MatchCheckCtxt`Nadrieril-3/+5
2023-12-11Move lints to their own moduleNadrieril-0/+42
2023-12-11Gather rustc-specific functions around `MatchCheckCtxt`Nadrieril-0/+1
2023-12-11Extract exhaustiveness into its own crateNadrieril-0/+13
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-10 06:36:44 +0000