about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
2025-06-25Rollup merge of #142724 - xizheyin:avoid_overwrite_args, r=oli-obkJana Dönszelmann-2/+5
2025-06-25Add runtime check to avoid overwrite arg easily in diag and store and restore...xizheyin-2/+5
2025-06-23Add `#[loop_match]` for improved DFA codegenbjorn3-1/+6
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-3/+4
2025-06-03Overhaul `UsePath`.Nicholas Nethercote-20/+15
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-23Dont walk into unsafe binders when emiting error for non-structural type matchMichael Goulet-0/+3
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-22make `str` literal patterns usable in deref patternsdianne-0/+10
2025-04-16lower implicit deref patterns to THIRdianne-18/+24
2025-04-12store the kind of pattern adjustments in `pat_adjustments`dianne-8/+9
2025-04-07Rollup merge of #139108 - Nadrieril:simplify-expandedconstant, r=oli-obkStuart Cook-75/+82
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-26/+15
2025-04-06Let `const_to_pat` handle the `ExpandedConstant` wrappingNadrieril-15/+12
2025-04-03Make LevelAndSource a structOli Scherer-1/+1
2025-04-02Auto merge of #139269 - matthiaskrgr:rollup-pk78gig, r=matthiaskrgrbors-34/+35
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-1/+1
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-33/+15
2025-03-18Move `hir::Item::ident` into `hir::ItemKind`.Nicholas Nethercote-3/+3
2025-03-12Rollup merge of #137504 - nnethercote:remove-Map-4, r=ZalatharManish Goregaokar-1/+1
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-1/+1
2025-03-09Explain weird quirk in user type annotation loweringMichael Goulet-1/+1
2025-03-06Implement .use keyword as an alias of cloneSantiago Pastorino-0/+1
2025-02-25Teach structured errors to display short `Ty`Esteban Küber-5/+1
2025-02-22Fix binding mode problemsMichael Goulet-2/+2
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-2/+2
2025-02-18Remove scrutinee_hir_id from ExprKind::Matchbjorn3-1/+1
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-1/+1
2025-02-17Rollup merge of #136817 - dianne:clean-and-comment-pat-migration, r=NadrierilMatthias Krüger-111/+205
2025-02-17Rollup merge of #136671 - nnethercote:middle-limits, r=NadrierilMatthias Krüger-14/+6
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-1/+1
2025-02-17Add `pattern_complexity_limit` to `Limits`.Nicholas Nethercote-14/+6
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-66/+114
2025-02-10move pattern migration setup/emitting to a separate moduledianne-58/+104
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-19/+18
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