about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/mod.rs
AgeCommit message (Expand)AuthorLines
2025-07-04treat box patterns as deref patterns in THIR and usefulness analysisdianne-3/+4
2025-06-30Introduce `ByteSymbol`.Nicholas Nethercote-1/+1
2025-05-04Auto merge of #140549 - BoxyUwU:proper_const_norm, r=lcnrbors-0/+2
2025-05-01Set groundwork for proper const normalizationBoxy-0/+2
2025-05-01User type annotations for free consts in pattern positionBoxy-2/+1
2025-04-24lower deref patterns on boxes using built-in derefsdianne-7/+4
2025-04-16lower implicit deref patterns to THIRdianne-9/+17
2025-04-12store the kind of pattern adjustments in `pat_adjustments`dianne-4/+5
2025-04-07Rollup merge of #139108 - Nadrieril:simplify-expandedconstant, r=oli-obkStuart Cook-72/+75
2025-04-07Rollup merge of #139035 - nnethercote:PatKind-Missing, r=oli-obkStuart Cook-0/+2
2025-04-06Reuse `parent_args`Nadrieril-12/+3
2025-04-06Add the inline const type annotation in pattern loweringNadrieril-2/+34
2025-04-06Tweak `lower_pat_expr`Nadrieril-35/+33
2025-04-06Remove the `is_inline` field from `PatKind::ExpandedConstant`Nadrieril-18/+11
2025-04-06Let `const_to_pat` handle the `ExpandedConstant` wrappingNadrieril-14/+3
2025-03-28Add `{ast,hir,thir}::PatKind::Missing` variants.Nicholas Nethercote-0/+2
2025-03-26add a temporary workaround for `string_deref_patterns`dianne-2/+21
2025-03-26`lower_pat_expr`: use the pattern's type instead of the literal'sdianne-4/+13
2025-03-09Explain weird quirk in user type annotation loweringMichael Goulet-1/+1
2025-02-17Rollup merge of #136817 - dianne:clean-and-comment-pat-migration, r=NadrierilMatthias Krüger-111/+23
2025-02-14More comments for `lower_inline_const`Zalathar-1/+4
2025-02-14Clarify control-flow in `lower_path`Zalathar-30/+33
2025-02-14Rename `PatCtxt::lower_lit` to `lower_pat_expr`Zalathar-7/+7
2025-02-10move pattern migration internals to the `migration` moduledianne-57/+10
2025-02-10move pattern migration setup/emitting to a separate moduledianne-58/+17
2025-02-07Rollup merge of #136577 - dianne:simple-pat-migration-simplification, r=Nadri...Matthias Krüger-46/+100
2025-02-06Rollup merge of #136435 - Zalathar:thir-pat-stuff, r=NadrierilMatthias Krüger-5/+6
2025-02-05try to suggest eliding redundant binding modifiersdianne-27/+31
2025-02-05peace of mind: remove a call to `Option::expect`dianne-2/+3
2025-02-05separate labels for default binding mode spans into their own notesdianne-10/+0
2025-02-04Rollup merge of #136526 - Zalathar:thir-cx, r=NadrierilMatthias Krüger-21/+13
2025-02-04experimentally label the spans for default binding modesdianne-35/+88
2025-02-03highlight the whole problem subpattern when pointing out the default binding ...dianne-2/+2
2025-02-04Remove helper trait `UserAnnotatedTyHelpers`Zalathar-21/+13
2025-02-03reword pattern migration diagnostic to make sense in all editionsdianne-8/+16
2025-02-03pattern migration: move labels out of the suggestion structdianne-13/+11
2025-02-03Avoid double-boxing lists of THIR subpatternsZalathar-4/+4
2025-02-03Remove `'pat` lifetime from some match-lowering data structuresZalathar-1/+2
2025-02-03Simplify the pattern unpeeling in `lower_pattern_range_endpoint`Zalathar-26/+25
2025-02-03Return range endpoint ascriptions/consts via a `&mut Vec`Zalathar-12/+19
2025-02-03Flatten the option check in `lower_pattern_range_endpoint`Zalathar-31/+28
2025-01-29Eliminate PatKind::PathOli Scherer-4/+0
2025-01-09Remove the now-useless `Result` from `lit_to_const`Oli Scherer-5/+3
2025-01-09Use error constant instead of explicit error handlingOli Scherer-1/+0
2025-01-08Rename PatKind::Lit to ExprOli Scherer-1/+1
2025-01-08Exhaustively handle expressions in patternsOli Scherer-25/+12
2024-12-31add guard patterns to HIR and implement loweringMax Niederman-0/+3
2024-12-17Add the edition guide link from the match 2024 migration lint to the error as...dianne-0/+4
2024-12-17Clarify the match ergonomics 2024 migration lint's outputdianne-7/+18
2024-12-07Auto merge of #133897 - oli-obk:push-lsxrqtqqwmpt, r=jieyouxubors-24/+0