about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src/pat.rs
AgeCommit message (Expand)AuthorLines
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
2023-12-11Extract exhaustiveness into its own crateNadrieril-0/+744