about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/build/matches/simplify.rs
AgeCommit message (Expand)AuthorLines
2024-12-17Rename `rustc_mir_build::build` to `builder`Zalathar-71/+0
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+4
2024-07-17Rename `MatchPair` to `MatchPairTree`Zalathar-2/+2
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_mir_build`.Nicholas Nethercote-0/+1
2024-03-27Use `create_or_subcandidates` for all or-pattern expansionsNadrieril-10/+1
2024-03-27Avoid recursion in creating and merging or-patternsNadrieril-16/+2
2024-03-25Use the correct span for simplifying or-patternsNadrieril-1/+2
2024-03-09Factor out non-branch-related pattern dataNadrieril-11/+6
2024-03-02Rollup merge of #121716 - Nadrieril:simple-binding-order, r=matthewjasperGuillaume Boisseau-50/+20
2024-02-28Pre-simplify or-patterns tooNadrieril-11/+8
2024-02-28Lower bindings in a predictable orderNadrieril-50/+20
2024-02-21Inline `simplify_match_pair`Nadrieril-34/+18
2024-02-21Process bindings and ascriptions in `MatchPair::new()`Nadrieril-74/+6
2024-02-21Introduce `TestCase` enum to replace most matching on `PatKind`Nadrieril-48/+12
2024-02-19Update commentsNadrieril-8/+5
2024-02-19Compute subpairs when creating match pairNadrieril-76/+25
2024-02-19Eagerly simplify match pairsNadrieril-7/+13
2024-02-19Don't repeatedly simplify already-simplified match pairsNadrieril-11/+7
2024-02-19Make `simplify_candidate` more generalNadrieril-46/+49
2024-02-19Move `Or` test outside of `simplify_candidate`Nadrieril-30/+9
2024-02-08Rollup merge of #120775 - Nadrieril:more-min_exh_pats, r=compiler-errorsMatthias Krüger-1/+2
2024-02-08Match `min_exhaustive_patterns` implementation with `exhaustive_patterns`Nadrieril-1/+2
2024-02-08Rollup merge of #120214 - Nadrieril:fix-120210, r=pnkfelixMatthias Krüger-54/+53
2024-01-29Borrow check inline const patternsMatthew Jasper-2/+35
2024-01-25Clarify the new binding danceNadrieril-44/+20
2024-01-25Put new bindings first in refutable cases tooNadrieril-4/+4
2024-01-25Clarify the binding danceNadrieril-22/+41
2024-01-25Move `Or` test out of the loopNadrieril-22/+26
2023-11-29Add `never_patterns` feature gateNadrieril-0/+6
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-10-27Abstract over `PatRange` boundary valueNadrieril-40/+4
2023-10-16Address review commentsMatthew Jasper-14/+4
2023-10-16Fix inline const pattern unsafety checking in THIRMatthew Jasper-4/+20
2023-10-14Propagate pattern errors via a new `PatKind::Error` variantNadrieril-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-2/+2
2022-12-19Revert "Auto merge of #103880 - b-naber:field-ty-mir, r=lcnr"Rémy Rakic-3/+3
2022-11-23properly handle enum field projectionsb-naber-6/+4
2022-11-23use non-ascribed type as field type in mirb-naber-1/+3
2022-11-23Auto merge of #103947 - camsteffen:place-clones, r=cjgillotbors-7/+6
2022-11-20Factor out conservative_is_privately_uninhabitedCameron Steffen-3/+3
2022-11-17Remove more PlaceBuilder clonesCameron Steffen-3/+2
2022-11-17Replace try_upvars_resolved with try_to_placeCameron Steffen-4/+4
2022-10-22Introduce InhabitedPredicateCameron Steffen-8/+4
2022-09-16Only generate `OpaqueCast` for opaque typesOli Scherer-4/+4
2022-09-16Merge two arguments into oneOli Scherer-9/+6
2022-09-10Auto merge of #100968 - cjgillot:mir-upvar-vec, r=wesleywiserbors-4/+4
2022-09-02Box `PatKind::Range`.Nicholas Nethercote-1/+1
2022-09-02Clean up THIR patterns.Nicholas Nethercote-7/+7
2022-08-23Only compute captures once when building MIR.Camille GILLOT-4/+4