about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis
AgeCommit message (Expand)AuthorLines
2023-12-20Reveal opaque types in exhaustiveness checkingNadrieril-33/+33
2023-12-19Auto merge of #118842 - Nadrieril:librarify-further, r=compiler-errorsbors-431/+641
2023-12-15NFC: do not clone types that are copyMatthias Krüger-1/+1
2023-12-15s/MatchCx/TypeCx/Nadrieril-48/+48
2023-12-15Introduce `MatchCtxt`Nadrieril-77/+93
2023-12-15s/PatCtxt/PlaceCtxt/Nadrieril-33/+33
2023-12-15`pattern_analysis` doesn't need to know what spans areNadrieril-28/+31
2023-12-15Address review commentsNadrieril-12/+4
2023-12-15s/RustcCtxt/RustcMatchCheckCtxt/Nadrieril-34/+44
2023-12-15Make the crate compile on stableNadrieril-3/+17
2023-12-15Make the `rustc_data_structures` dependency optionalNadrieril-13/+28
2023-12-15Gate rustc-specific code under a featureNadrieril-16/+41
2023-12-15Iron out last rustc-specific detailsNadrieril-14/+38
2023-12-15Name rustc-specific things "rustc"Nadrieril-43/+36
2023-12-15Abstract `MatchCheckCtxt` into a traitNadrieril-218/+294
2023-12-15Disentangle the arena from `MatchCheckCtxt`Nadrieril-116/+135
2023-12-15Remove all matching on `ty.kind()` outside `cx`Nadrieril-36/+31
2023-12-15Split `Single` ctor into more specific variantsNadrieril-51/+79
2023-12-12Update compiler/rustc_pattern_analysis/src/constructor.rs Matthias Krüger-0/+1
2023-12-12simplify merging of two vecsMatthias Krüger-1/+1
2023-12-11Fix doc linksNadrieril-22/+22
2023-12-11Fix item visibilitiesNadrieril-31/+27
2023-12-11Make `MaybeInfiniteInt` rustc-independentNadrieril-34/+59
2023-12-11Move lints to their own moduleNadrieril-297/+343
2023-12-11Gather rustc-specific functions around `MatchCheckCtxt`Nadrieril-889/+891
2023-12-11Extract exhaustiveness into its own crateNadrieril-0/+3780