summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
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-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
2025-01-03const-in-pattern: test that the PartialEq impl does not need to be constRalf Jung-0/+4
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
2024-12-05Avoid looking at HIR for inline const pattern literalsOli Scherer-24/+0
2024-12-04review comments: reword messages and simplify logicEsteban Küber-42/+22
2024-12-04Add more context to fall-through "const pattern of non-structural type" errorEsteban Küber-41/+157
2024-12-04Add context to fall-through "const pattern of non-structural type" errorEsteban Küber-2/+3
2024-12-04Add additional context for non-sructural type constant used in patternEsteban Küber-4/+19