about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src
AgeCommit message (Expand)AuthorLines
2024-07-29Reformat `use` declarations.Nicholas Nethercote-17/+15
2024-07-28Don't store `thir::Pat` in error structsZalathar-32/+31
2024-07-24Explain why a given pattern is considered unreachableNadrieril-49/+163
2024-07-24Move rustc-specific entrypoint to the `rustc` moduleNadrieril-34/+29
2024-07-23Auto merge of #128015 - Nadrieril:two-step-or-expansion, r=compiler-errorsbors-107/+86
2024-07-21Tweak `collect_non_exhaustive_tys`Nadrieril-1/+7
2024-07-20Expand or-patterns as a separate stepNadrieril-107/+86
2024-07-19Avoid ref when using format! in compilerYuri Astrakhan-1/+1
2024-07-18pattern lowering: make sure we never call user-defined PartialEq instancesRalf Jung-4/+14
2024-07-17Avoid comments that describe multiple `use` items.Nicholas Nethercote-3/+1
2024-06-23Replace `f16` and `f128` pattern matching stubs with real implementationsTrevor Gross-8/+69
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-1/+3
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-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr-1/+0
2024-05-02Stabilize exclusive_rangeRoss Smyth-1/+0
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-12/+8
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-3/+1
2024-04-21Pass translation closure to add_to_diag_with() as referenceXiretza-2/+2
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+1
2024-04-01Fix union handling in exhaustivenessNadrieril-6/+57
2024-03-31Improve debugging experienceNadrieril-7/+10
2024-03-30Require enum indices to be contiguousNadrieril-52/+8
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-80/+116
2024-03-20Add barest-bones deref patternsNadrieril-0/+6
2024-03-19Add a crate-custom test harnessNadrieril-0/+6
2024-03-19Improve the `WitnessPat: Debug` implNadrieril-76/+89
2024-03-19Report arm intersectionsNadrieril-4/+21
2024-03-18Rollup merge of #121823 - Nadrieril:never-witnesses, r=compiler-errorsMatthias Krüger-12/+55
2024-03-13Rollup merge of #122437 - Nadrieril:no-after-max, r=compiler-errorsMatthias Krüger-9/+6
2024-03-13Remove `MaybeInfiniteInt::JustAfterMax`Nadrieril-9/+6
2024-03-13Rename `RustcMatchCheckCtxt` -> `RustcPatCtxt`Nadrieril-32/+27
2024-03-13Rename `TypeCx` -> `PatCx`Nadrieril-68/+68
2024-03-13Rename `ValidityConstraint` -> `PlaceValidity`Nadrieril-20/+12
2024-03-12Don't suggest an arm when suggesting a never patternNadrieril-0/+8
2024-03-12Suggest never pattern instead of `_` for empty typesNadrieril-4/+32
2024-03-12Add `Constructor::Never`Nadrieril-8/+15
2024-03-11`DeconstructedPat.data` is always present nowNadrieril-13/+11
2024-03-11Store field indices in `DeconstructedPat` to avoid virtual wildcardsNadrieril-80/+96
2024-03-11Store pattern arity in `DeconstructedPat`Nadrieril-7/+36
2024-03-11Rename `DecorateLint` as `LintDiagnostic`.Nicholas Nethercote-1/+1
2024-03-11Rename `AddToDiagnostic` as `Subdiagnostic`.Nicholas Nethercote-5/+5
2024-03-09Lint small gaps between rangesNadrieril-12/+174
2024-03-09Make `MaybeInfiniteInt::plus_one/minus_one` fallibleNadrieril-20/+23
2024-03-05Rollup merge of #121987 - Nadrieril:abort-on-arity-mismatch, r=compiler-errorsMatthias Krüger-7/+15
2024-03-05Rename `SubdiagnosticMessageOp` as `SubdiagMessageOp`.Nicholas Nethercote-2/+2
2024-03-04Abort on arity mismatchNadrieril-7/+15
2024-03-03Add new `pattern_complexity` attribute to add possibility to limit and check ...Guillaume Gomez-2/+34