about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
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
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-7/+7
2025-02-03Remove some non-trivial `box` patternsZalathar-11/+9
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-02-02Rollup merge of #136328 - estebank:long-ty-path, r=jieyouxu,lqdMatthias Krüger-4/+4
2025-01-31Rework "long type names" printing logicEsteban Küber-4/+4
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-3/+4
2025-01-30add commentsLukas Markeffsky-0/+1
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2025-01-29Eliminate PatKind::PathOli Scherer-4/+0
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-3/+3
2025-01-24Use short ty string for move errorsEsteban Küber-0/+4
2025-01-21add fixme in typoed const pattern lintRémy Rakic-0/+6
2025-01-20Rollup merge of #135310 - estebank:issue-135289, r=Nadrieril许杰友 Jieyou Xu (Joe)-8/+1
2025-01-11review commentsEsteban Küber-57/+67
2025-01-11Avoid unnecessary note when type has escaping boundsEsteban Küber-3/+9
2025-01-11Avoid duplicated noteEsteban Küber-6/+8
2025-01-11Account for `for<'a>` types when checking for non-structural type in constant...Esteban Küber-3/+10
2025-01-09Always force non-trimming of path in `unreachable_patterns` lintEsteban Küber-8/+1
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
2025-01-07Rollup merge of #134989 - max-niederman:guard-patterns-hir, r=oli-obkMatthias Krüger-0/+3