about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src
AgeCommit message (Expand)AuthorLines
2024-01-20Remove Ty: Copy boundNadrieril-30/+31
2024-01-19Rollup merge of #119835 - Nadrieril:simplify-empty-logic, r=compiler-errorsMatthias Krüger-50/+28
2024-01-17Rollup merge of #120039 - Nadrieril:remove-idx, r=compiler-errorsMatthias Krüger-6/+47
2024-01-17Don't rely on contiguous `VariantId`s outside of rustcNadrieril-6/+47
2024-01-15Remove the unused `overlapping_range_endpoints` VecNadrieril-39/+5
2024-01-15Lint overlapping ranges directly from exhaustivenessNadrieril-59/+49
2024-01-15Simplify empty pattern logic some moreNadrieril-8/+7
2024-01-15Simplify empty pattern logic a bitNadrieril-14/+13
2024-01-15Make all the empty pattern decisions in `usefulness`Nadrieril-20/+19
2024-01-15Simplify use of `ValidityConstraint`Nadrieril-23/+4
2024-01-12rustc_pattern_analysis no longer needs to be passed an arenaNadrieril-28/+19
2024-01-11Only lint ranges that really overlapNadrieril-90/+118
2024-01-11Factor out collection of overlapping rangesNadrieril-31/+62
2024-01-11Track row intersectionsNadrieril-18/+36
2024-01-11Auto merge of #119837 - matthiaskrgr:rollup-l2olpad, r=matthiaskrgrbors-37/+59
2024-01-09Document the new `expand_and_push` methodNadrieril-3/+5
2024-01-09Avoid `PatOrWild` glob importNadrieril-18/+18
2024-01-07Abort analysis on type errorNadrieril-11/+24
2024-01-07Add an error path to the algorithmNadrieril-26/+35
2024-01-07We only need the arity of the subtype list nowNadrieril-18/+13
2024-01-07Use special enum to represent algorithm-generated wildcards in the matrixNadrieril-42/+100
2024-01-07Remove incorrect `assert`Nadrieril-6/+0
2024-01-07Factor out pushing onto `PatternColumn`Nadrieril-12/+12
2024-01-06Reuse `ctor_sub_tys` when we have one aroundNadrieril-6/+11
2024-01-06Remove `Matrix.wildcard_row`Nadrieril-18/+24
2024-01-06Auto merge of #119329 - Nadrieril:reveal-opaques-early, r=compiler-errorsbors-90/+128
2024-01-03Rename some `Diagnostic` setters.Nicholas Nethercote-1/+1
2024-01-01Statically enforce revealing of opaquesNadrieril-90/+128
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-26Keep reference to the original `Pat` in `DeconstructedPat`Nadrieril-5/+5
2023-12-26Rollup merge of #119307 - compiler-errors:pat-lifetimes, r=NadrierilMichael Goulet-69/+61
2023-12-26Merge 'thir and 'pMichael Goulet-1/+1
2023-12-26Auto merge of #119146 - nnethercote:rm-DiagCtxt-api-duplication, r=compiler-e...bors-1/+1
2023-12-26Elide more lifetimesMichael Goulet-12/+12
2023-12-26Clean up more lifetimesMichael Goulet-15/+10
2023-12-26Even moreMichael Goulet-13/+10
2023-12-26Yeet some lifetimesMichael Goulet-40/+40
2023-12-24Auto merge of #118796 - Nadrieril:fix-exponential-id-match-2, r=cjgillotbors-29/+205
2023-12-23Rework the explanation of relevancyNadrieril-48/+138
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-23Reveal empty opaques in depthNadrieril-4/+14
2023-12-23Improve performance on wide matchesNadrieril-29/+115
2023-12-23Clarify the situation with dummy patterns and `PatData`Nadrieril-17/+19
2023-12-23Use `derivative` for better derive boundsNadrieril-21/+19
2023-12-20Reveal opaque types in exhaustiveness checkingNadrieril-33/+33
2023-12-19Auto merge of #118842 - Nadrieril:librarify-further, r=compiler-errorsbors-419/+606
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-15 00:14:48 +0000