summaryrefslogtreecommitdiff
path: root/compiler/rustc_pattern_analysis/src
AgeCommit message (Expand)Author
2024-06-23Replace `f16` and `f128` pattern matching stubs with real implementationsTrevor Gross
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung
2024-06-05Add `Ty` to `mir::Const::Ty`Boxy
2024-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr
2024-05-02Stabilize exclusive_rangeRoss Smyth
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote
2024-04-21Pass translation closure to add_to_diag_with() as referenceXiretza
2024-04-08Actually create ranged int types in the type system.Oli Scherer
2024-04-01Fix union handling in exhaustivenessNadrieril
2024-03-31Improve debugging experienceNadrieril
2024-03-30Require enum indices to be contiguousNadrieril
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet
2024-03-21Rollup merge of #122644 - Nadrieril:complexity-tests, r=compiler-errorsMatthias Krüger
2024-03-20Add barest-bones deref patternsNadrieril
2024-03-19Add a crate-custom test harnessNadrieril
2024-03-19Improve the `WitnessPat: Debug` implNadrieril
2024-03-19Report arm intersectionsNadrieril
2024-03-18Rollup merge of #121823 - Nadrieril:never-witnesses, r=compiler-errorsMatthias Krüger
2024-03-13Rollup merge of #122437 - Nadrieril:no-after-max, r=compiler-errorsMatthias Krüger
2024-03-13Remove `MaybeInfiniteInt::JustAfterMax`Nadrieril
2024-03-13Rename `RustcMatchCheckCtxt` -> `RustcPatCtxt`Nadrieril
2024-03-13Rename `TypeCx` -> `PatCx`Nadrieril
2024-03-13Rename `ValidityConstraint` -> `PlaceValidity`Nadrieril
2024-03-12Don't suggest an arm when suggesting a never patternNadrieril
2024-03-12Suggest never pattern instead of `_` for empty typesNadrieril
2024-03-12Add `Constructor::Never`Nadrieril
2024-03-11`DeconstructedPat.data` is always present nowNadrieril
2024-03-11Store field indices in `DeconstructedPat` to avoid virtual wildcardsNadrieril
2024-03-11Store pattern arity in `DeconstructedPat`Nadrieril
2024-03-11Rename `DecorateLint` as `LintDiagnostic`.Nicholas Nethercote
2024-03-11Rename `AddToDiagnostic` as `Subdiagnostic`.Nicholas Nethercote
2024-03-09Lint small gaps between rangesNadrieril
2024-03-09Make `MaybeInfiniteInt::plus_one/minus_one` fallibleNadrieril
2024-03-05Rollup merge of #121987 - Nadrieril:abort-on-arity-mismatch, r=compiler-errorsMatthias Krüger
2024-03-05Rename `SubdiagnosticMessageOp` as `SubdiagMessageOp`.Nicholas Nethercote
2024-03-04Abort on arity mismatchNadrieril
2024-03-03Add new `pattern_complexity` attribute to add possibility to limit and check ...Guillaume Gomez
2024-03-01Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errorsbors
2024-02-29Rollup merge of #121000 - Nadrieril:keep_all_fields, r=compiler-errorsGuillaume Gomez
2024-02-29Rollup merge of #121735 - Nadrieril:no-panic-on-type-error, r=compiler-errorsMatthias Krüger
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross
2024-02-28Rename `Skip` to `PrivateUninhabited`Nadrieril
2024-02-28SimplifyNadrieril
2024-02-28Don't filter out skipped fieldsNadrieril
2024-02-28Add special `Skip` constructorNadrieril
2024-02-28Push the decision to skip fields further downNadrieril
2024-02-28Push down the decision to skip fieldsNadrieril
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-23 16:29:25 +0000