about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/build/matches/util.rs
AgeCommit message (Expand)AuthorLines
2024-12-17Rename `rustc_mir_build::build` to `builder`Zalathar-231/+0
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-6/+5
2024-07-29Entirely hide `Candidate`s from outside `lower_match_tree`Nadrieril-0/+4
2024-07-29Visiting bindings is straightforward nowNadrieril-53/+0
2024-07-29Abstract out the candidate manipulation not in the main algorithmNadrieril-1/+1
2024-07-29Set up false edges in `lower_match_tree`Nadrieril-10/+9
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+4
2024-07-17Rename `MatchPair` to `MatchPairTree`Zalathar-3/+3
2024-07-14Move `MatchPair` tree creation to its own moduleZalathar-240/+2
2024-06-29Rollup merge of #126835 - Nadrieril:reify-decision-tree, r=matthewjasperMatthias Krüger-12/+65
2024-06-25Tweak `FlatPat::new` to avoid a temporarily-invalid stateZalathar-0/+2
2024-06-19We can traverse bindings before `lower_match_tree` nowNadrieril-12/+65
2024-06-04Reduce `pub` exposure.Nicholas Nethercote-1/+1
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_mir_build`.Nicholas Nethercote-0/+1
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-4/+1
2024-05-04Lower never patterns to Unreachable in mirNadrieril-1/+4
2024-04-20Use deep fake borrows for deref patternsNadrieril-19/+22
2024-04-20Rework fake borrow calculationNadrieril-16/+123
2024-04-20Allow mutable bindings inside deref patternsNadrieril-3/+3
2024-04-20Track mutability of deref patternsNadrieril-1/+1
2024-04-20Lower deref patterns to MIRNadrieril-5/+10
2024-04-15Remove TypeVariableOriginKindMichael Goulet-5/+4
2024-03-27Implement `mut ref`/`mut ref mut`Jules Bertholet-9/+9
2024-03-26Store `Place` instead of `PlaceBuilder` in `MatchPair`Nadrieril-13/+13
2024-03-26RenameNadrieril-19/+20
2024-03-20Add barest-bones deref patternsNadrieril-0/+6
2024-03-09Factor out non-branch-related pattern dataNadrieril-2/+2
2024-02-28Collect fake borrows ahead of timeNadrieril-1/+81
2024-02-28Pre-simplify or-patterns tooNadrieril-2/+4
2024-02-21Process bindings and ascriptions in `MatchPair::new()`Nadrieril-14/+69
2024-02-21Introduce `TestCase` enum to replace most matching on `PatKind`Nadrieril-15/+54
2024-02-19Compute subpairs when creating match pairNadrieril-2/+47
2024-02-19Eagerly simplify match pairsNadrieril-1/+1
2024-02-19Switch to Vec of MatchPairsNadrieril-2/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2022-12-19Revert "Auto merge of #103880 - b-naber:field-ty-mir, r=lcnr"Rémy Rakic-5/+6
2022-12-16Auto merge of #103880 - b-naber:field-ty-mir, r=lcnrbors-6/+5
2022-12-14address reviewb-naber-3/+2
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+0
2022-11-23use no type in ProjectionElem::Field for PlaceBuilder::UpVarb-naber-1/+1
2022-11-23get field ty during projectingb-naber-68/+5
2022-11-23address reviewb-naber-4/+14
2022-11-23properly handle enum field projectionsb-naber-5/+13
2022-11-23use non-ascribed type as field type in mirb-naber-0/+45
2022-11-17Remove more PlaceBuilder clonesCameron Steffen-5/+5
2022-11-17Replace try_upvars_resolved with try_to_placeCameron Steffen-13/+12
2022-09-19Document projection conditionOli Scherer-0/+3
2022-09-16Only generate `OpaqueCast` for opaque typesOli Scherer-8/+21
2022-09-16Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaque_type, r...Oli Scherer-1/+6