summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir/pattern
AgeCommit message (Expand)AuthorLines
2024-11-20Rollup merge of #132708 - estebank:const-as-binding, r=NadrierilMatthias Krüger-20/+78
2024-11-19pattern lowering, yeet `TypingEnv::from_param_env`lcnr-62/+37
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-4/+14
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-9/+14
2024-11-17review commentsEsteban Küber-21/+26
2024-11-17review commentsEsteban Küber-4/+0
2024-11-17Unify expanded constants and named constants in `PatKind`Esteban Küber-19/+33
2024-11-17Point at const when intended binding fall-through pattern is a constEsteban Küber-4/+25
2024-11-17Use `item_name` instead of a span snippet when talking about const patternEsteban Küber-3/+2
2024-11-17Fold `PatKind::NamedConstant` into `PatKind::Constant`Esteban Küber-12/+13
2024-11-17Point at `const` definition when used instead of a binding in a `let` statementEsteban Küber-4/+26
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-22/+40
2024-10-30compiler: Switch to rustc_abi in hir_pretty, lint_defs, and mir_buildJubilee Young-2/+2
2024-10-30Rollup merge of #131856 - lcnr:typing-mode, r=compiler-errorsMatthias Krüger-2/+4
2024-10-30Rollup merge of #129394 - Jarcho:irrefutable_let_patterns, r=NadrierilMatthias Krüger-7/+18
2024-10-29Don't lint `irrefutable_let_patterns` on leading patterns if `else if` let-ch...Jason Newcomb-7/+18
2024-10-29TypingMode :thinking:lcnr-2/+4
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-11/+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-23Rollup merge of #130715 - compiler-errors:mir-build-const-eval, r=BoxyUwUMatthias Krüger-1/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-3/+3
2024-09-22Replace calls to Const::eval in mir buildMichael Goulet-1/+3
2024-09-13Add a machine-applicable suggestion to "unreachable pattern"Nadrieril-5/+30
2024-08-21Rollup merge of #129345 - compiler-errors:scratch4, r=jieyouxuMatthias Krüger-1/+1
2024-08-21Rollup merge of #129344 - compiler-errors:less-option-unit-diagnostics, r=jie...Matthias Krüger-2/+2
2024-08-21Rollup merge of #129281 - Nadrieril:tweak-unreachable-lint-wording, r=estebankMatthias Krüger-4/+22
2024-08-21Simplify some redundant field namesMichael Goulet-1/+1
2024-08-21Use bool in favor of Option<()> for diagnosticsMichael Goulet-2/+2
2024-08-20Move the "matches no value" note to be a span labelNadrieril-1/+3
2024-08-19Cap the number of patterns pointed to by the lintNadrieril-3/+17
2024-08-19Add a note with a link to explain empty typesNadrieril-0/+2
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-08-13Remove a no-longer-true `assert`Nadrieril-4/+6
2024-08-11Rollup merge of #128762 - fmease:use-more-slice-pats, r=compiler-errorsMatthias Krüger-2/+4
2024-08-10Stabilize `min_exhaustive_patterns`Nadrieril-4/+2
2024-08-07Use more slice patterns inside the compilerLeón Orell Valerian Liehr-2/+4
2024-07-29Rollup merge of #128304 - Zalathar:thir-pat-display, r=NadrierilMatthias Krüger-4/+4
2024-07-29Encapsulate the printing of `WitnessPat`Zalathar-4/+4
2024-07-29Reformat `use` declarations.Nicholas Nethercote-11/+10
2024-07-24Improve "covered_by_many" errorNadrieril-2/+11
2024-07-24Explain why a given pattern is considered unreachableNadrieril-19/+45
2024-07-24Move rustc-specific entrypoint to the `rustc` moduleNadrieril-6/+10
2024-07-21Explain why we require `_` for empty patternsNadrieril-0/+4
2024-07-21Tweak `collect_non_exhaustive_tys`Nadrieril-16/+16
2024-07-18remove saw_const_match_error; check if pattern contains an Error insteadRalf Jung-14/+3
2024-07-18avoid creating an Instance only to immediately disassemble it againRalf Jung-31/+2