Skip to content

Commit 6b8cab1

Browse files
committed
Unmark the feature gate as incomplete
1 parent 4733b1b commit 6b8cab1

19 files changed

+183
-236
lines changed

compiler/rustc_feature/src/unstable.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -514,7 +514,7 @@ declare_features! (
514514
(unstable, marker_trait_attr, "1.30.0", Some(29864)),
515515
/// Allows exhaustive pattern matching on types that contain uninhabited types in cases that are
516516
/// unambiguously sound.
517-
(incomplete, min_exhaustive_patterns, "CURRENT_RUSTC_VERSION", Some(119612)),
517+
(unstable, min_exhaustive_patterns, "CURRENT_RUSTC_VERSION", Some(119612)),
518518
/// A minimal, sound subset of specialization intended to be used by the
519519
/// standard library until the soundness issues with specialization
520520
/// are fixed.

tests/ui/closures/2229_closure_analysis/run_pass/multivariant.min_exhaustive_patterns.stderr

-11
This file was deleted.

tests/ui/closures/2229_closure_analysis/run_pass/multivariant.rs

-1
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,6 @@
55
// run-pass
66
#![cfg_attr(exhaustive_patterns, feature(exhaustive_patterns))]
77
#![cfg_attr(min_exhaustive_patterns, feature(min_exhaustive_patterns))]
8-
//[min_exhaustive_patterns]~^ WARN the feature `min_exhaustive_patterns` is incomplete
98
#![feature(never_type)]
109

1110
pub fn main() {

tests/ui/pattern/usefulness/always-inhabited-union-ref.exhaustive_patterns.stderr

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0004]: non-exhaustive patterns: type `&!` is non-empty
2-
--> $DIR/always-inhabited-union-ref.rs:26:11
2+
--> $DIR/always-inhabited-union-ref.rs:25:11
33
|
44
LL | match uninhab_ref() {
55
| ^^^^^^^^^^^^^
@@ -14,13 +14,13 @@ LL + }
1414
|
1515

1616
error[E0004]: non-exhaustive patterns: type `Foo` is non-empty
17-
--> $DIR/always-inhabited-union-ref.rs:30:11
17+
--> $DIR/always-inhabited-union-ref.rs:29:11
1818
|
1919
LL | match uninhab_union() {
2020
| ^^^^^^^^^^^^^^^
2121
|
2222
note: `Foo` defined here
23-
--> $DIR/always-inhabited-union-ref.rs:13:11
23+
--> $DIR/always-inhabited-union-ref.rs:12:11
2424
|
2525
LL | pub union Foo {
2626
| ^^^
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,5 @@
1-
warning: the feature `min_exhaustive_patterns` is incomplete and may not be safe to use and/or cause compiler crashes
2-
--> $DIR/always-inhabited-union-ref.rs:7:46
3-
|
4-
LL | #![cfg_attr(min_exhaustive_patterns, feature(min_exhaustive_patterns))]
5-
| ^^^^^^^^^^^^^^^^^^^^^^^
6-
|
7-
= note: see issue #119612 <https://github.com/rust-lang/rust/issues/119612> for more information
8-
= note: `#[warn(incomplete_features)]` on by default
9-
101
error[E0004]: non-exhaustive patterns: type `&!` is non-empty
11-
--> $DIR/always-inhabited-union-ref.rs:26:11
2+
--> $DIR/always-inhabited-union-ref.rs:25:11
123
|
134
LL | match uninhab_ref() {
145
| ^^^^^^^^^^^^^
@@ -23,13 +14,13 @@ LL + }
2314
|
2415

2516
error[E0004]: non-exhaustive patterns: type `Foo` is non-empty
26-
--> $DIR/always-inhabited-union-ref.rs:30:11
17+
--> $DIR/always-inhabited-union-ref.rs:29:11
2718
|
2819
LL | match uninhab_union() {
2920
| ^^^^^^^^^^^^^^^
3021
|
3122
note: `Foo` defined here
32-
--> $DIR/always-inhabited-union-ref.rs:13:11
23+
--> $DIR/always-inhabited-union-ref.rs:12:11
3324
|
3425
LL | pub union Foo {
3526
| ^^^
@@ -41,6 +32,6 @@ LL + _ => todo!(),
4132
LL + }
4233
|
4334

44-
error: aborting due to 2 previous errors; 1 warning emitted
35+
error: aborting due to 2 previous errors
4536

4637
For more information about this error, try `rustc --explain E0004`.

tests/ui/pattern/usefulness/always-inhabited-union-ref.rs

-1
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,6 @@
55

66
#![cfg_attr(exhaustive_patterns, feature(exhaustive_patterns))]
77
#![cfg_attr(min_exhaustive_patterns, feature(min_exhaustive_patterns))]
8-
//[min_exhaustive_patterns]~^ WARN the feature `min_exhaustive_patterns` is incomplete
98
#![feature(never_type)]
109
#![allow(dead_code)]
1110
#![allow(unreachable_code)]

0 commit comments

Comments
 (0)