about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src/lib.rs
AgeCommit message (Expand)AuthorLines
2025-07-20pattern_analysis: add option to get a full set of witnessesNadrieril-0/+7
2025-07-04only check for mixed deref/normal constructors when neededdianne-0/+5
2025-07-04always check for mixed deref pattern and normal constructorsdianne-0/+10
2025-05-16Remove #![feature(let_chains)] from library and src/librustdocest31-1/+0
2025-04-23Make #![feature(let_chains)] bootstrap conditional in compiler/est31-1/+1
2025-03-20Use `-Wunused_crate_dependencies` for compiler crates.Nicholas Nethercote-0/+1
2025-03-11Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-10Revert "Use workspace lints for crates in `compiler/` #138084"许杰友 Jieyou Xu (Joe)-0/+1
2025-03-08Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-5/+5
2024-08-29Add `warn(unreachable_pub)` to `rustc_pattern_analysis`.Nicholas Nethercote-0/+1
2024-08-11Rollup merge of #128536 - Zalathar:print-cleanup, r=NadrierilMatthias Krüger-0/+1
2024-08-10Stabilize `min_exhaustive_patterns`Nadrieril-1/+0
2024-08-07Simplify hoisting of array/slice patternsZalathar-0/+1
2024-07-24Move rustc-specific entrypoint to the `rustc` moduleNadrieril-34/+3
2024-07-17Avoid comments that describe multiple `use` items.Nicholas Nethercote-3/+1
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-1/+3
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-3/+0
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-3/+0
2024-03-30Require enum indices to be contiguousNadrieril-45/+4
2024-03-19Add a crate-custom test harnessNadrieril-0/+6
2024-03-19Improve the `WitnessPat: Debug` implNadrieril-1/+2
2024-03-13Rename `RustcMatchCheckCtxt` -> `RustcPatCtxt`Nadrieril-1/+1
2024-03-13Rename `TypeCx` -> `PatCx`Nadrieril-4/+4
2024-03-13Rename `ValidityConstraint` -> `PlaceValidity`Nadrieril-2/+2
2024-03-09Lint small gaps between rangesNadrieril-7/+16
2024-03-03Add new `pattern_complexity` attribute to add possibility to limit and check ...Guillaume Gomez-1/+6
2024-02-28Rename `Skip` to `PrivateUninhabited`Nadrieril-3/+4
2024-02-28Don't filter out skipped fieldsNadrieril-2/+1
2024-02-28Push the decision to skip fields further downNadrieril-3/+7
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-0/+3
2024-02-06Rollup merge of #120331 - Nadrieril:no-arena, r=compiler-errorsMatthias Krüger-4/+4
2024-02-06Invert diagnostic lints.Nicholas Nethercote-0/+3
2024-01-31Use a `Vec` instead of a slice in `DeconstructedPat`Nadrieril-4/+4
2024-01-31Gracefully abort on type incompatibilityNadrieril-1/+1
2024-01-30Make `PatternColumn` part of the public APINadrieril-1/+3
2024-01-30Repurpose `MatchCtxt` for usefulness onlyNadrieril-17/+1
2024-01-30Limit the use of `PlaceCtxt`Nadrieril-1/+1
2024-01-27Stop using derivative in rustc_pattern_analysisLaurențiu Nicola-4/+16
2024-01-26Rollup merge of #118803 - Nadrieril:min-exhaustive-patterns, r=compiler-errorsMatthias Krüger-0/+1
2024-01-25Rollup merge of #120318 - Nadrieril:share-debug-impl, r=compiler-errorsMatthias Krüger-2/+6
2024-01-25Implement feature gate logicNadrieril-0/+1
2024-01-24Most of the `DeconstructedPat` `Debug` impl is reusableNadrieril-2/+6
2024-01-24Let `ctor_sub_tys` return any Iterator they wantNadrieril-1/+5
2024-01-20Remove Ty: Copy boundNadrieril-4/+4
2024-01-17Rollup merge of #120039 - Nadrieril:remove-idx, r=compiler-errorsMatthias Krüger-2/+40
2024-01-17Don't rely on contiguous `VariantId`s outside of rustcNadrieril-2/+40
2024-01-15Lint overlapping ranges directly from exhaustivenessNadrieril-11/+14
2024-01-12rustc_pattern_analysis no longer needs to be passed an arenaNadrieril-13/+2
2024-01-11Only lint ranges that really overlapNadrieril-1/+3