bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #120742 - Nadrieril:use-min_exh_pats, r=compiler-errors

Browse source 
mark `min_exhaustive_patterns` as complete

This is step 1 and 2 of my [proposal](https://github.com/rust-lang/rust/issues/119612#issuecomment-1918097361) to move `min_exhaustive_patterns` forward. The vast majority of in-tree use cases of `exhaustive_patterns` are covered by `min_exhaustive_patterns`. There are a few cases that still require `exhaustive_patterns` in tests and they're all behind references.

r? ``@ghost``
This commit is contained in:
Matthias Krüger 2024-02-23 17:02:03 +01:00 • committed by GitHub
commit 26cb6c7287
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
32 changed files with 206 additions and 257 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_feature/src/unstable.rs
View file

@ -518,7 +518,7 @@ declare_features! (
(unstable, marker_trait_attr, "1.30.0", Some(29864)),
/// Allows exhaustive pattern matching on types that contain uninhabited types in cases that are
/// unambiguously sound.
(incomplete, min_exhaustive_patterns, "1.77.0", Some(119612)),
(unstable, min_exhaustive_patterns, "1.77.0", Some(119612)),
/// A minimal, sound subset of specialization intended to be used by the
/// standard library until the soundness issues with specialization
/// are fixed.