about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src/rustc.rs
AgeCommit message (Expand)AuthorLines
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-09 15:41:30 +0000