about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src
AgeCommit message (Expand)AuthorLines
2024-01-30Make `PatternColumn` part of the public APINadrieril-90/+101
2024-01-30Repurpose `MatchCtxt` for usefulness onlyNadrieril-23/+21
2024-01-30Limit the use of `PlaceCtxt`Nadrieril-52/+42
2024-01-30Make `PatternColumn` generic in `Cx`Nadrieril-27/+20
2024-01-27Stop using derivative in rustc_pattern_analysisLaurențiu Nicola-24/+191
2024-01-26Rollup merge of #118803 - Nadrieril:min-exhaustive-patterns, r=compiler-errorsMatthias Krüger-10/+24
2024-01-25Rollup merge of #120318 - Nadrieril:share-debug-impl, r=compiler-errorsMatthias Krüger-107/+97
2024-01-25Implement feature gate logicNadrieril-10/+24
2024-01-24Improve `Range: Debug` implNadrieril-5/+11
2024-01-24Most of the `DeconstructedPat` `Debug` impl is reusableNadrieril-102/+86
2024-01-24Let `ctor_sub_tys` return any Iterator they wantNadrieril-19/+24
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-2/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 16:11:03 +0000