summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis
AgeCommit message (Expand)AuthorLines
2024-11-20Rollup merge of #132708 - estebank:const-as-binding, r=NadrierilMatthias Krüger-1/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-12/+24
2024-11-17Unify expanded constants and named constants in `PatKind`Esteban Küber-2/+2
2024-11-17Fold `PatKind::NamedConstant` into `PatKind::Constant`Esteban Küber-1/+1
2024-11-17Point at `const` definition when used instead of a binding in a `let` statementEsteban Küber-1/+1
2024-11-03compiler: Remove unused rustc_target from Cargo.tomlsJubilee Young-2/+0
2024-10-27compiler: Add rustc_abi dependence to the compilerJubilee Young-2/+5
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-3/+3
2024-10-20Update rustc-hash to version 2Noratrieb-1/+1
2024-09-29cleanup: don't clone types that are CopyMatthias Krüger-4/+4
2024-09-28remove couple redundant clonesMatthias Krüger-1/+1
2024-09-23Rollup merge of #130715 - compiler-errors:mir-build-const-eval, r=BoxyUwUMatthias Krüger-4/+7
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-14/+14
2024-09-22Replace calls to Const::eval in mir buildMichael Goulet-4/+7
2024-09-11Revert warning empty patterns as unreachableNadrieril-1/+5
2024-09-03Rollup merge of #128934 - Nadrieril:fix-empty-non-exhaustive, r=compiler-errorsMatthias Krüger-7/+1
2024-09-02Non-exhaustive structs may be emptyNadrieril-7/+1
2024-09-02chore: Fix typos in 'compiler' (batch 2)Alexander Cyon-2/+2
2024-08-29Add `warn(unreachable_pub)` to `rustc_pattern_analysis`.Nicholas Nethercote-0/+1
2024-08-15Rollup merge of #128965 - Zalathar:no-pat, r=NadrierilJubilee-112/+60
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-11Remove `print::Pat` entirely, replacing it with `String`Zalathar-69/+35
2024-08-11Remove `PatKind::Never`Zalathar-4/+1
2024-08-11Remove `PatKind::Slice`Zalathar-17/+8
2024-08-11Remove `PatKind::Range`Zalathar-5/+1
2024-08-11Remove `PatKind::Constant`Zalathar-9/+4
2024-08-11Remove `PatKind::Ref`Zalathar-7/+7
2024-08-11Remove `PatKind::Box`Zalathar-6/+1
2024-08-11Remove `PatKind::StructLike`Zalathar-10/+11
2024-08-11Remove `PatKind::Wild`Zalathar-5/+4
2024-08-11Add `print::PatKind::Print`Zalathar-0/+3
2024-08-11Avoid matching on `PatKind::Wild` in `write_struct_like`Zalathar-5/+10
2024-08-11Rollup merge of #128536 - Zalathar:print-cleanup, r=NadrierilMatthias Krüger-185/+216
2024-08-10Stabilize `min_exhaustive_patterns`Nadrieril-23/+8
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-08-07Use `TyCtxt::is_diagnostic_item`Zalathar-2/+2
2024-08-07Avoid using `ty::tls::with` in `write_struct_like`Zalathar-5/+6
2024-08-07Simplify hoisting of ref patterns (`&` and `&mut`)Zalathar-6/+1
2024-08-07Simplify hoisting of array/slice patternsZalathar-30/+44
2024-08-07Simplify hoisting of struct-like patternsZalathar-23/+16
2024-08-07Split out hoisting/printing of `box` patternsZalathar-7/+10
2024-08-07Split out a `hoist` helper in `hoist_witness_pat`Zalathar-1/+2
2024-08-07Replace an unnecessary slice pattern with `has_dot_dot: bool`Zalathar-14/+10
2024-08-07Remove an impossible case under `EnumInfo::NotEnum`Zalathar-7/+1
2024-08-07Unify `Variant` and `Leaf` into `print::PatKind::StructLike`Zalathar-20/+25
2024-08-07Break up `print::Pat` printing into several helper functionsZalathar-113/+142
2024-07-31Use a separate pattern type for `rustc_pattern_analysis` diagnosticsZalathar-11/+208
2024-07-31Print `thir::PatRange`, not its surrounding `thir::Pat`Zalathar-8/+7
2024-07-29Rollup merge of #128304 - Zalathar:thir-pat-display, r=NadrierilMatthias Krüger-39/+40
2024-07-29Encapsulate the printing of `WitnessPat`Zalathar-12/+14