about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src/rustc.rs
AgeCommit message (Expand)AuthorLines
2024-08-11Rollup merge of #128536 - Zalathar:print-cleanup, r=NadrierilMatthias Krüger-64/+68
2024-08-10Stabilize `min_exhaustive_patterns`Nadrieril-6/+1
2024-08-07Simplify hoisting of ref patterns (`&` and `&mut`)Zalathar-6/+1
2024-08-07Simplify hoisting of array/slice patternsZalathar-30/+43
2024-08-07Simplify hoisting of struct-like patternsZalathar-23/+16
2024-08-07Split out hoisting/printing of `box` patternsZalathar-6/+5
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-3/+2
2024-08-07Unify `Variant` and `Leaf` into `print::PatKind::StructLike`Zalathar-7/+11
2024-07-31Use a separate pattern type for `rustc_pattern_analysis` diagnosticsZalathar-11/+15
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-8/+16
2024-07-29Encapsulate the printing of `WitnessPat`Zalathar-3/+11
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-07-28Don't store `thir::Pat` in error structsZalathar-5/+5
2024-07-24Explain why a given pattern is considered unreachableNadrieril-0/+2
2024-07-24Move rustc-specific entrypoint to the `rustc` moduleNadrieril-0/+26
2024-07-21Tweak `collect_non_exhaustive_tys`Nadrieril-1/+7
2024-07-18pattern lowering: make sure we never call user-defined PartialEq instancesRalf Jung-4/+14
2024-06-23Replace `f16` and `f128` pattern matching stubs with real implementationsTrevor Gross-7/+43
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-4/+5
2024-06-05Add `Ty` to `mir::Const::Ty`Boxy-1/+1
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-0/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+1
2024-03-31Improve debugging experienceNadrieril-2/+0
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-03-21Rollup merge of #122644 - Nadrieril:complexity-tests, r=compiler-errorsMatthias Krüger-3/+4
2024-03-20Add barest-bones deref patternsNadrieril-0/+6
2024-03-19Improve the `WitnessPat: Debug` implNadrieril-3/+4
2024-03-18Rollup merge of #121823 - Nadrieril:never-witnesses, r=compiler-errorsMatthias Krüger-3/+4
2024-03-13Rollup merge of #122437 - Nadrieril:no-after-max, r=compiler-errorsMatthias Krüger-1/+1
2024-03-13Remove `MaybeInfiniteInt::JustAfterMax`Nadrieril-1/+1
2024-03-13Rename `RustcMatchCheckCtxt` -> `RustcPatCtxt`Nadrieril-23/+18
2024-03-13Rename `TypeCx` -> `PatCx`Nadrieril-2/+2
2024-03-12Add `Constructor::Never`Nadrieril-3/+4
2024-03-11`DeconstructedPat.data` is always present nowNadrieril-4/+4
2024-03-11Store field indices in `DeconstructedPat` to avoid virtual wildcardsNadrieril-23/+26
2024-03-11Store pattern arity in `DeconstructedPat`Nadrieril-3/+20
2024-03-09Lint small gaps between rangesNadrieril-1/+65
2024-03-09Make `MaybeInfiniteInt::plus_one/minus_one` fallibleNadrieril-3/+3
2024-03-03Add new `pattern_complexity` attribute to add possibility to limit and check ...Guillaume Gomez-0/+5
2024-03-01Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errorsbors-0/+2
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-0/+2
2024-02-28Rename `Skip` to `PrivateUninhabited`Nadrieril-10/+13
2024-02-28SimplifyNadrieril-46/+34
2024-02-28Don't filter out skipped fieldsNadrieril-10/+5
2024-02-28Add special `Skip` constructorNadrieril-21/+5
2024-02-28Push the decision to skip fields further downNadrieril-7/+9
2024-02-28Push down the decision to skip fieldsNadrieril-16/+22
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 16:54:16 +0000