Make feature negative_bounds internal

fmease · fmease · commit 1ec73ce7e0de · 2023-12-27T18:53:06.000+01:00
diff --git a/compiler/rustc_feature/src/unstable.rs b/compiler/rustc_feature/src/unstable.rs
@@ -210,7 +210,7 @@ declare_features! (
     /// Allows the `multiple_supertrait_upcastable` lint.
     (unstable, multiple_supertrait_upcastable, "1.69.0", None),
     /// Allow negative trait bounds. This is an internal-only feature for testing the trait solver!
-    (incomplete, negative_bounds, "1.71.0", None),
+    (internal, negative_bounds, "1.71.0", None),
     /// Allows using `#[omit_gdb_pretty_printer_section]`.
     (internal, omit_gdb_pretty_printer_section, "1.5.0", None),
     /// Allows using `#[prelude_import]` on glob `use` items.
diff --git a/tests/ui/traits/negative-bounds/associated-constraints.rs b/tests/ui/traits/negative-bounds/associated-constraints.rs
@@ -1,5 +1,4 @@
 #![feature(negative_bounds, associated_type_bounds)]
-//~^ WARN the feature `negative_bounds` is incomplete and may not be safe to use and/or cause compiler crashes
 
 trait Trait {
     type Assoc;
diff --git a/tests/ui/traits/negative-bounds/associated-constraints.stderr b/tests/ui/traits/negative-bounds/associated-constraints.stderr
@@ -28,13 +28,5 @@ error: parenthetical notation may not be used for negative bounds
 LL | fn test5<T>() where T: !Fn() -> i32 {}
    |                         ^^^^^^^^^^^
 
-warning: the feature `negative_bounds` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/associated-constraints.rs:1:12
-   |
-LL | #![feature(negative_bounds, associated_type_bounds)]
-   |            ^^^^^^^^^^^^^^^
-   |
-   = note: `#[warn(incomplete_features)]` on by default
-
-error: aborting due to 5 previous errors; 1 warning emitted
+error: aborting due to 5 previous errors
 
diff --git a/tests/ui/traits/negative-bounds/opaque-type-unsatisfied-bound.rs b/tests/ui/traits/negative-bounds/opaque-type-unsatisfied-bound.rs
@@ -1,7 +1,6 @@
 // compile-flags: -Znext-solver
 
 #![feature(negative_bounds, negative_impls)]
-//~^ WARN the feature `negative_bounds` is incomplete and may not be safe to use and/or cause compiler crashes
 
 trait Trait {}
 impl !Trait for () {}
diff --git a/tests/ui/traits/negative-bounds/opaque-type-unsatisfied-bound.stderr b/tests/ui/traits/negative-bounds/opaque-type-unsatisfied-bound.stderr
@@ -1,11 +1,3 @@
-warning: the feature `negative_bounds` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/opaque-type-unsatisfied-bound.rs:3:12
-   |
-LL | #![feature(negative_bounds, negative_impls)]
-   |            ^^^^^^^^^^^^^^^
-   |
-   = note: `#[warn(incomplete_features)]` on by default
-
 error[E0308]: mismatched types
   --> $DIR/opaque-type-unsatisfied-bound.rs:16:36
    |
@@ -71,7 +63,7 @@ note: required by a bound in `consume`
 LL | fn consume(_: impl Trait) {}
    |                    ^^^^^ required by this bound in `consume`
 
-error: aborting due to 7 previous errors; 1 warning emitted
+error: aborting due to 7 previous errors
 
 Some errors have detailed explanations: E0271, E0277, E0308.
 For more information about an error, try `rustc --explain E0271`.
diff --git a/tests/ui/traits/negative-bounds/opaque-type-unsatisfied-fn-bound.rs b/tests/ui/traits/negative-bounds/opaque-type-unsatisfied-fn-bound.rs
@@ -1,7 +1,6 @@
 // compile-flags: -Znext-solver
 
 #![feature(negative_bounds, unboxed_closures)]
-//~^ WARN the feature `negative_bounds` is incomplete and may not be safe to use and/or cause compiler crashes
 
 fn produce() -> impl !Fn<(u32,)> {}
 //~^ ERROR mismatched types
diff --git a/tests/ui/traits/negative-bounds/opaque-type-unsatisfied-fn-bound.stderr b/tests/ui/traits/negative-bounds/opaque-type-unsatisfied-fn-bound.stderr
@@ -1,11 +1,3 @@
-warning: the feature `negative_bounds` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/opaque-type-unsatisfied-fn-bound.rs:3:12
-   |
-LL | #![feature(negative_bounds, unboxed_closures)]
-   |            ^^^^^^^^^^^^^^^
-   |
-   = note: `#[warn(incomplete_features)]` on by default
-
 error[E0308]: mismatched types
   --> $DIR/opaque-type-unsatisfied-fn-bound.rs:6:34
    |
@@ -23,7 +15,7 @@ error[E0271]: type mismatch resolving `() == impl !Fn<(u32,)>`
 LL | fn produce() -> impl !Fn<(u32,)> {}
    |                 ^^^^^^^^^^^^^^^^ types differ
 
-error: aborting due to 2 previous errors; 1 warning emitted
+error: aborting due to 2 previous errors
 
 Some errors have detailed explanations: E0271, E0308.
 For more information about an error, try `rustc --explain E0271`.
diff --git a/tests/ui/traits/negative-bounds/simple.rs b/tests/ui/traits/negative-bounds/simple.rs
@@ -1,5 +1,4 @@
 #![feature(negative_bounds, negative_impls)]
-//~^ WARN the feature `negative_bounds` is incomplete and may not be safe to use and/or cause compiler crashes
 
 fn not_copy<T: !Copy>() {}
 
diff --git a/tests/ui/traits/negative-bounds/simple.stderr b/tests/ui/traits/negative-bounds/simple.stderr
@@ -1,44 +1,36 @@
-warning: the feature `negative_bounds` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/simple.rs:1:12
-   |
-LL | #![feature(negative_bounds, negative_impls)]
-   |            ^^^^^^^^^^^^^^^
-   |
-   = note: `#[warn(incomplete_features)]` on by default
-
 error[E0277]: the trait bound `T: !Copy` is not satisfied
-  --> $DIR/simple.rs:11:16
+  --> $DIR/simple.rs:10:16
    |
 LL |     not_copy::<T>();
    |                ^ the trait `!Copy` is not implemented for `T`
    |
 note: required by a bound in `not_copy`
-  --> $DIR/simple.rs:4:16
+  --> $DIR/simple.rs:3:16
    |
 LL | fn not_copy<T: !Copy>() {}
    |                ^^^^^ required by this bound in `not_copy`
 
 error[E0277]: the trait bound `T: !Copy` is not satisfied
-  --> $DIR/simple.rs:16:16
+  --> $DIR/simple.rs:15:16
    |
 LL |     not_copy::<T>();
    |                ^ the trait `!Copy` is not implemented for `T`
    |
 note: required by a bound in `not_copy`
-  --> $DIR/simple.rs:4:16
+  --> $DIR/simple.rs:3:16
    |
 LL | fn not_copy<T: !Copy>() {}
    |                ^^^^^ required by this bound in `not_copy`
 
 error[E0277]: the trait bound `Copyable: !Copy` is not satisfied
-  --> $DIR/simple.rs:31:16
+  --> $DIR/simple.rs:30:16
    |
 LL |     not_copy::<Copyable>();
    |                ^^^^^^^^ the trait `!Copy` is not implemented for `Copyable`
    |
    = help: the trait `Copy` is implemented for `Copyable`
 note: required by a bound in `not_copy`
-  --> $DIR/simple.rs:4:16
+  --> $DIR/simple.rs:3:16
    |
 LL | fn not_copy<T: !Copy>() {}
    |                ^^^^^ required by this bound in `not_copy`
@@ -49,13 +41,13 @@ LL | struct Copyable;
    |
 
 error[E0277]: the trait bound `NotNecessarilyCopyable: !Copy` is not satisfied
-  --> $DIR/simple.rs:38:16
+  --> $DIR/simple.rs:37:16
    |
 LL |     not_copy::<NotNecessarilyCopyable>();
    |                ^^^^^^^^^^^^^^^^^^^^^^ the trait `!Copy` is not implemented for `NotNecessarilyCopyable`
    |
 note: required by a bound in `not_copy`
-  --> $DIR/simple.rs:4:16
+  --> $DIR/simple.rs:3:16
    |
 LL | fn not_copy<T: !Copy>() {}
    |                ^^^^^ required by this bound in `not_copy`
@@ -65,6 +57,6 @@ LL + #[derive(Copy)]
 LL | struct NotNecessarilyCopyable;
    |
 
-error: aborting due to 4 previous errors; 1 warning emitted
+error: aborting due to 4 previous errors
 
 For more information about this error, try `rustc --explain E0277`.
diff --git a/tests/ui/traits/negative-bounds/supertrait.rs b/tests/ui/traits/negative-bounds/supertrait.rs
@@ -1,7 +1,6 @@
 // check-pass
 
 #![feature(negative_bounds)]
-//~^ WARN the feature `negative_bounds` is incomplete
 
 trait A: !B {}
 trait B: !A {}
diff --git a/tests/ui/traits/negative-bounds/supertrait.stderr b/tests/ui/traits/negative-bounds/supertrait.stderr

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`#![feature(negative_bounds, associated_type_bounds)]`
`2`		-//~^ WARN the feature `negative_bounds` is incomplete and may not be safe to use and/or cause compiler crashes
`3`	`2`
`4`	`3`	`trait Trait {`
`5`	`4`	`type Assoc;`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`#![feature(negative_bounds, negative_impls)]`
`2`		-//~^ WARN the feature `negative_bounds` is incomplete and may not be safe to use and/or cause compiler crashes
`3`	`2`
`4`	`3`	`fn not_copy<T: !Copy>() {}`
`5`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,44 +1,36 @@`
`1`		-warning: the feature `negative_bounds` is incomplete and may not be safe to use and/or cause compiler crashes
`2`		`- --> $DIR/simple.rs:1:12`
`3`		`- \|`
`4`		`-LL \| #![feature(negative_bounds, negative_impls)]`
`5`		`- \| ^^^^^^^^^^^^^^^`
`6`		`- \|`
`7`		- = note: `#[warn(incomplete_features)]` on by default
`8`		`-`
`9`	`1`	error[E0277]: the trait bound `T: !Copy` is not satisfied
`10`		`- --> $DIR/simple.rs:11:16`
	`2`	`+ --> $DIR/simple.rs:10:16`
`11`	`3`	`\|`
`12`	`4`	`LL \| not_copy::<T>();`
`13`	`5`	\| ^ the trait `!Copy` is not implemented for `T`
`14`	`6`	`\|`
`15`	`7`	note: required by a bound in `not_copy`
`16`		`- --> $DIR/simple.rs:4:16`
	`8`	`+ --> $DIR/simple.rs:3:16`
`17`	`9`	`\|`
`18`	`10`	`LL \| fn not_copy<T: !Copy>() {}`
`19`	`11`	\| ^^^^^ required by this bound in `not_copy`
`20`	`12`
`21`	`13`	error[E0277]: the trait bound `T: !Copy` is not satisfied
`22`		`- --> $DIR/simple.rs:16:16`
	`14`	`+ --> $DIR/simple.rs:15:16`
`23`	`15`	`\|`
`24`	`16`	`LL \| not_copy::<T>();`
`25`	`17`	\| ^ the trait `!Copy` is not implemented for `T`
`26`	`18`	`\|`
`27`	`19`	note: required by a bound in `not_copy`
`28`		`- --> $DIR/simple.rs:4:16`
	`20`	`+ --> $DIR/simple.rs:3:16`
`29`	`21`	`\|`
`30`	`22`	`LL \| fn not_copy<T: !Copy>() {}`
`31`	`23`	\| ^^^^^ required by this bound in `not_copy`
`32`	`24`
`33`	`25`	error[E0277]: the trait bound `Copyable: !Copy` is not satisfied
`34`		`- --> $DIR/simple.rs:31:16`
	`26`	`+ --> $DIR/simple.rs:30:16`
`35`	`27`	`\|`
`36`	`28`	`LL \| not_copy::<Copyable>();`
`37`	`29`	\| ^^^^^^^^ the trait `!Copy` is not implemented for `Copyable`
`38`	`30`	`\|`
`39`	`31`	= help: the trait `Copy` is implemented for `Copyable`
`40`	`32`	note: required by a bound in `not_copy`
`41`		`- --> $DIR/simple.rs:4:16`
	`33`	`+ --> $DIR/simple.rs:3:16`
`42`	`34`	`\|`
`43`	`35`	`LL \| fn not_copy<T: !Copy>() {}`
`44`	`36`	\| ^^^^^ required by this bound in `not_copy`
`@@ -49,13 +41,13 @@ LL \| struct Copyable;`
`49`	`41`	`\|`
`50`	`42`
`51`	`43`	error[E0277]: the trait bound `NotNecessarilyCopyable: !Copy` is not satisfied
`52`		`- --> $DIR/simple.rs:38:16`
	`44`	`+ --> $DIR/simple.rs:37:16`
`53`	`45`	`\|`
`54`	`46`	`LL \| not_copy::<NotNecessarilyCopyable>();`
`55`	`47`	\| ^^^^^^^^^^^^^^^^^^^^^^ the trait `!Copy` is not implemented for `NotNecessarilyCopyable`
`56`	`48`	`\|`
`57`	`49`	note: required by a bound in `not_copy`
`58`		`- --> $DIR/simple.rs:4:16`
	`50`	`+ --> $DIR/simple.rs:3:16`
`59`	`51`	`\|`
`60`	`52`	`LL \| fn not_copy<T: !Copy>() {}`
`61`	`53`	\| ^^^^^ required by this bound in `not_copy`
`@@ -65,6 +57,6 @@ LL + #[derive(Copy)]`
`65`	`57`	`LL \| struct NotNecessarilyCopyable;`
`66`	`58`	`\|`
`67`	`59`
`68`		`-error: aborting due to 4 previous errors; 1 warning emitted`
	`60`	`+error: aborting due to 4 previous errors`
`69`	`61`
`70`	`62`	For more information about this error, try `rustc --explain E0277`.