about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/builder/matches
AgeCommit message (Expand)AuthorLines
2025-07-01loop match: handle opaque patternsFolkert de Vries-2/+4
2025-06-29mir: Add a `new` method to `statement`dianqk-8/+8
2025-06-23Add `#[loop_match]` for improved DFA codegenbjorn3-9/+135
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-2/+2
2025-04-24lower deref patterns on boxes using built-in derefsdianne-2/+9
2025-04-22make `str` literal patterns usable in deref patternsdianne-0/+23
2025-04-17do not emit `OpaqueCast` projections with `-Znext-solver`lcnr-11/+14
2025-04-15Rollup merge of #139669 - nnethercote:overhaul-AssocItem, r=oli-obkStuart Cook-1/+1
2025-04-15Rollup merge of #138393 - oli-obk:pattern-type-in-pattern, r=BoxyUwUStuart Cook-2/+27
2025-04-14Allow const patterns of matches to contain pattern typesOli Scherer-2/+27
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-1/+1
2025-04-07Rollup merge of #139108 - Nadrieril:simplify-expandedconstant, r=oli-obkStuart Cook-30/+1
2025-04-06Add the inline const type annotation in pattern loweringNadrieril-29/+1
2025-04-06Remove the `is_inline` field from `PatKind::ExpandedConstant`Nadrieril-6/+5
2025-03-28Add `{ast,hir,thir}::PatKind::Missing` variants.Nicholas Nethercote-1/+2
2025-03-26Rollup merge of #138959 - meithecatte:matchpair-place-option, r=ZalatharStuart Cook-9/+23
2025-03-26Rollup merge of #138818 - khuey:138198, r=jieyouxuStuart Cook-16/+42
2025-03-26MatchPairTree: update invariant commentMaja Kądziołka-2/+2
2025-03-26Revert "Make `MatchPairTree::place` non-optional"Maja Kądziołka-9/+23
2025-03-21match lowering cleanup: `non_scalar_compare` is only for `&str`dianne-91/+21
2025-03-21Don't produce debug information for compiler-introduced-vars when desugaring ...Kyle Huey-16/+42
2025-03-19Rollup merge of #138001 - meithecatte:privately-uninhabited, r=NadrierilMatthias Krüger-6/+6
2025-03-16Build `UserTypeProjections` lazily when visiting bindingsZalathar-30/+176
2025-03-16Split `visit_primary_bindings` into two variantsZalathar-23/+42
2025-03-16Simplify handling of `visibility_scope` in `declare_bindings`Zalathar-6/+4
2025-03-07mir_build: consider privacy when checking for irrefutable patternsMaja Kądziołka-4/+5
2025-03-07Add helper methods checking for "#[non_exhaustive] that's active"Maja Kądziołka-2/+1
2025-03-05Make `MatchPairTree::place` non-optionalZalathar-23/+9
2025-03-05Remove the separate simplify step for match-pair treesZalathar-71/+14
2025-03-05Remove `TestCase::Irrefutable`Zalathar-58/+38
2025-03-05Populate pattern bindings/ascriptions while building `MatchPairTree`Zalathar-46/+100
2025-03-05Make `MatchPairTree::for_pattern` push its output node to a vectorZalathar-19/+23
2025-03-05Make `field_match_pairs` push its output nodes to a vectorZalathar-12/+9
2025-02-24Fix some `use` items that import more than necessary.Nicholas Nethercote-2/+2
2025-02-21Rollup merge of #137305 - nnethercote:rustc_middle-2, r=lcnrMatthias Krüger-1/+1
2025-02-21Rename `ClearCrossCrate::assert_crate_local`.Nicholas Nethercote-1/+1
2025-02-20Don't store a redundant span in user-type projectionsZalathar-2/+1
2025-02-20Avoid a useless clone of `UserTypeProjection`Zalathar-5/+2
2025-02-08Rustfmtbjorn3-81/+121
2025-02-03Slightly simplify the signature of `lower_match_arms`Zalathar-10/+8
2025-02-03Avoid double-boxing lists of THIR subpatternsZalathar-2/+2
2025-02-03Remove some non-trivial `box` patternsZalathar-12/+8
2025-02-03Remove `'pat` lifetime from some match-lowering data structuresZalathar-96/+101
2025-01-28Edit the inputs to const == val check instead of duplicating logicOli Scherer-32/+34
2025-01-27Use an operand instead of a place that is always turned into an operandOli Scherer-12/+8
2025-01-27Deduplicate operand creation between scalars, non-scalars and string patternsOli Scherer-8/+11
2025-01-22Rollup merge of #135409 - Shunpoco:issue-133117-ICE-never-false-edge-start-bl...Matthias Krüger-2/+9
2025-01-22modify commentShunpoco-1/+1
2025-01-22address review: modify matches/mod.rsShunpoco-4/+9
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-2/+5