summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern/mod.rs
AgeCommit message (Expand)AuthorLines
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
2024-12-05Avoid looking at HIR for inline const pattern literalsOli Scherer-24/+0
2024-12-04Tweak output of some const pattern errorsEsteban Küber-4/+10
2024-11-20Rollup merge of #132708 - estebank:const-as-binding, r=NadrierilMatthias Krüger-12/+30
2024-11-19pattern lowering, yeet `TypingEnv::from_param_env`lcnr-4/+4
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+1
2024-11-17review commentsEsteban Küber-20/+18
2024-11-17Unify expanded constants and named constants in `PatKind`Esteban Küber-10/+27
2024-11-17Fold `PatKind::NamedConstant` into `PatKind::Constant`Esteban Küber-9/+4
2024-11-17Point at `const` definition when used instead of a binding in a `let` statementEsteban Küber-2/+10
2024-10-30compiler: Switch to rustc_abi in hir_pretty, lint_defs, and mir_buildJubilee Young-1/+1
2024-10-16Rollup merge of #131381 - Nadrieril:min-match-ergonomics, r=pnkfelixMatthias Krüger-8/+19
2024-10-08Change error messageNadrieril-4/+3
2024-10-08Stabilize `min_match_ergonomics_2024`Nadrieril-1/+1
2024-10-08Error on resetted binding mode in edition 2024Nadrieril-8/+20
2024-09-22Replace calls to Const::eval in mir buildMichael Goulet-1/+3
2024-08-21Use bool in favor of Option<()> for diagnosticsMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+4
2024-07-18avoid creating an Instance only to immediately disassemble it againRalf Jung-31/+2