about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src/pat.rs
AgeCommit message (Expand)AuthorLines
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-07-24Explain why a given pattern is considered unreachableNadrieril-1/+16
2024-07-20Expand or-patterns as a separate stepNadrieril-1/+12
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-03-19Improve the `WitnessPat: Debug` implNadrieril-72/+8
2024-03-18Rollup merge of #121823 - Nadrieril:never-witnesses, r=compiler-errorsMatthias Krüger-3/+18
2024-03-13Rename `TypeCx` -> `PatCx`Nadrieril-13/+13
2024-03-12Don't suggest an arm when suggesting a never patternNadrieril-0/+8
2024-03-12Suggest never pattern instead of `_` for empty typesNadrieril-3/+9
2024-03-12Add `Constructor::Never`Nadrieril-0/+1
2024-03-11`DeconstructedPat.data` is always present nowNadrieril-8/+6
2024-03-11Store field indices in `DeconstructedPat` to avoid virtual wildcardsNadrieril-50/+60
2024-03-11Store pattern arity in `DeconstructedPat`Nadrieril-2/+14
2024-02-28Rename `Skip` to `PrivateUninhabited`Nadrieril-4/+6
2024-02-28Don't filter out skipped fieldsNadrieril-5/+0
2024-02-28Add special `Skip` constructorNadrieril-1/+3
2024-02-28Push the decision to skip fields further downNadrieril-2/+6
2024-02-07Use a unique id instead of by-address indexingNadrieril-2/+15
2024-02-07Cleanup comments and dead codeNadrieril-28/+4
2024-02-07Move usefulness-specific pattern computations to `usefulness`Nadrieril-27/+10
2024-02-06Rollup merge of #120331 - Nadrieril:no-arena, r=compiler-errorsMatthias Krüger-13/+19
2024-02-03Rollup merge of #120516 - Nadrieril:cleanup-impls, r=compiler-errorsMatthias Krüger-10/+1
2024-01-31Use a `Vec` instead of a slice in `DeconstructedPat`Nadrieril-13/+19
2024-01-31Manual `Debug` impls are not needed since `TypeCx: Debug`Nadrieril-10/+1
2024-01-30Limit the use of `PlaceCtxt`Nadrieril-4/+3
2024-01-27Stop using derivative in rustc_pattern_analysisLaurențiu Nicola-4/+27
2024-01-25Rollup merge of #120318 - Nadrieril:share-debug-impl, r=compiler-errorsMatthias Krüger-1/+69
2024-01-24Most of the `DeconstructedPat` `Debug` impl is reusableNadrieril-1/+69
2024-01-24Let `ctor_sub_tys` return any Iterator they wantNadrieril-2/+1
2024-01-20Remove Ty: Copy boundNadrieril-6/+6
2024-01-12rustc_pattern_analysis no longer needs to be passed an arenaNadrieril-1/+1
2024-01-09Avoid `PatOrWild` glob importNadrieril-18/+18
2024-01-07We only need the arity of the subtype list nowNadrieril-7/+5
2024-01-07Use special enum to represent algorithm-generated wildcards in the matrixNadrieril-22/+82
2024-01-06Reuse `ctor_sub_tys` when we have one aroundNadrieril-2/+3
2023-12-26Clean up more lifetimesMichael Goulet-6/+4
2023-12-26Yeet some lifetimesMichael Goulet-1/+1
2023-12-23Clarify the situation with dummy patterns and `PatData`Nadrieril-7/+11
2023-12-23Use `derivative` for better derive boundsNadrieril-1/+2
2023-12-15s/MatchCx/TypeCx/Nadrieril-6/+6
2023-12-15Introduce `MatchCtxt`Nadrieril-3/+3
2023-12-15s/PatCtxt/PlaceCtxt/Nadrieril-3/+3
2023-12-15`pattern_analysis` doesn't need to know what spans areNadrieril-18/+18
2023-12-15Make the `rustc_data_structures` dependency optionalNadrieril-5/+3
2023-12-15Abstract `MatchCheckCtxt` into a traitNadrieril-39/+37
2023-12-15Disentangle the arena from `MatchCheckCtxt`Nadrieril-16/+19
2023-12-15Remove all matching on `ty.kind()` outside `cx`Nadrieril-28/+21
2023-12-11Fix item visibilitiesNadrieril-11/+11
2023-12-11Gather rustc-specific functions around `MatchCheckCtxt`Nadrieril-560/+21
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-11 23:13:34 +0000