Rollup merge of #154276 - cyrgani:incomplete-mcp-2, r=fmease

allow `incomplete_features` in more tests

This PR allows the `incomplete_features` lint for the `traits` and `const-generics` directories. `specialization` will come in a followup PR.

Followup to #154174.
Part of #154168.

Author: JonathanBrouwer

src/tools/compiletest/src/runtest.rs

@@ -1922,10 +1922,7 @@ impl<'test> TestCx<'test> {
         // Allow tests to use internal and incomplete features.
         compiler.args(&["-A", "internal_features"]);
         // FIXME(#154168); temporarily exclude some directories to make the transition easier
-        if !input_file
-            .iter()
-            .any(|p| p == "traits" || p == "specialization" || p == "const-generics")
-        {
+        if !input_file.iter().any(|p| p == "specialization") {
             compiler.args(&["-A", "incomplete_features"]);
         }
 

tests/ui/const-generics/adt_const_params/alias_const_param_ty-1.rs

@@ -1,6 +1,5 @@
 //@ check-pass
 #![feature(adt_const_params, lazy_type_alias)]
-//~^ WARN: the feature `lazy_type_alias` is incomplete
 
 pub type Matrix = [usize; 1];
 const EMPTY_MATRIX: Matrix = [0; 1];

tests/ui/const-generics/adt_const_params/alias_const_param_ty-1.stderr

@@ -2,7 +2,6 @@
 
 #![feature(adt_const_params)]
 #![feature(unsized_const_params)]
-//~^ WARN the feature `unsized_const_params` is incomplete and may not be safe to use and/or cause compiler crashes
 
 #[derive(Clone)]
 struct S<const L: [u8]>;

tests/ui/const-generics/adt_const_params/unsized-anon-const-err-2.rs

@@ -1,22 +1,13 @@
 error: free constant item without body
-  --> $DIR/unsized-anon-const-err-2.rs:10:1
+  --> $DIR/unsized-anon-const-err-2.rs:9:1
    |
 LL | const A: [u8];
    | ^^^^^^^^^^^^^-
    |              |
    |              help: provide a definition for the constant: `= <expr>;`
 
-warning: the feature `unsized_const_params` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/unsized-anon-const-err-2.rs:4:12
-   |
-LL | #![feature(unsized_const_params)]
-   |            ^^^^^^^^^^^^^^^^^^^^
-   |
-   = note: see issue #95174 <https://github.com/rust-lang/rust/issues/95174> for more information
-   = note: `#[warn(incomplete_features)]` on by default
-
 error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
-  --> $DIR/unsized-anon-const-err-2.rs:10:10
+  --> $DIR/unsized-anon-const-err-2.rs:9:10
    |
 LL | const A: [u8];
    |          ^^^^ doesn't have a size known at compile-time
@@ -25,7 +16,7 @@ LL | const A: [u8];
    = note: statics and constants must have a statically known size
 
 error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
-  --> $DIR/unsized-anon-const-err-2.rs:14:31
+  --> $DIR/unsized-anon-const-err-2.rs:13:31
    |
 LL | impl<const N: i32> Copy for S<A> {}
    |                               ^ doesn't have a size known at compile-time
@@ -34,7 +25,7 @@ LL | impl<const N: i32> Copy for S<A> {}
    = note: statics and constants must have a statically known size
 
 error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
-  --> $DIR/unsized-anon-const-err-2.rs:17:33
+  --> $DIR/unsized-anon-const-err-2.rs:16:33
    |
 LL | impl<const M: usize> Copy for S<A> {}
    |                                 ^ doesn't have a size known at compile-time
@@ -43,7 +34,7 @@ LL | impl<const M: usize> Copy for S<A> {}
    = note: statics and constants must have a statically known size
 
 error[E0207]: the const parameter `N` is not constrained by the impl trait, self type, or predicates
-  --> $DIR/unsized-anon-const-err-2.rs:14:6
+  --> $DIR/unsized-anon-const-err-2.rs:13:6
    |
 LL | impl<const N: i32> Copy for S<A> {}
    |      ^^^^^^^^^^^^ unconstrained const parameter
@@ -52,15 +43,15 @@ LL | impl<const N: i32> Copy for S<A> {}
    = note: proving the result of expressions other than the parameter are unique is not supported
 
 error[E0207]: the const parameter `M` is not constrained by the impl trait, self type, or predicates
-  --> $DIR/unsized-anon-const-err-2.rs:17:6
+  --> $DIR/unsized-anon-const-err-2.rs:16:6
    |
 LL | impl<const M: usize> Copy for S<A> {}
    |      ^^^^^^^^^^^^^^ unconstrained const parameter
    |
    = note: expressions using a const parameter must map each value to a distinct output value
    = note: proving the result of expressions other than the parameter are unique is not supported
 
-error: aborting due to 6 previous errors; 1 warning emitted
+error: aborting due to 6 previous errors
 
 Some errors have detailed explanations: E0207, E0277.
 For more information about an error, try `rustc --explain E0207`.

tests/ui/const-generics/adt_const_params/unsized-anon-const-err-2.stderr

@@ -1,6 +1,4 @@
 #![feature(generic_const_parameter_types, unsized_const_params, adt_const_params)]
-//~^ WARN the feature `generic_const_parameter_types` is incomplete
-//~| WARN the feature `unsized_const_params` is incomplete
 // Make sure that we test the const param type of default const parameters
 // if both the type of the default and the type of the parameter are concrete.
 

tests/ui/const-generics/defaults/concrete-const-param-type.rs

@@ -1,25 +1,8 @@
-warning: the feature `generic_const_parameter_types` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/concrete-const-param-type.rs:1:12
-   |
-LL | #![feature(generic_const_parameter_types, unsized_const_params, adt_const_params)]
-   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-   |
-   = note: see issue #137626 <https://github.com/rust-lang/rust/issues/137626> for more information
-   = note: `#[warn(incomplete_features)]` on by default
-
-warning: the feature `unsized_const_params` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/concrete-const-param-type.rs:1:43
-   |
-LL | #![feature(generic_const_parameter_types, unsized_const_params, adt_const_params)]
-   |                                           ^^^^^^^^^^^^^^^^^^^^
-   |
-   = note: see issue #95174 <https://github.com/rust-lang/rust/issues/95174> for more information
-
 error: the constant `N` is not of type `u64`
-  --> $DIR/concrete-const-param-type.rs:9:26
+  --> $DIR/concrete-const-param-type.rs:7:26
    |
 LL | struct Foo<const N: u32, const M: u64 = N>;
    |                          ^^^^^^^^^^^^^^^^ expected `u64`, found `u32`
 
-error: aborting due to 1 previous error; 2 warnings emitted
+error: aborting due to 1 previous error
 

tests/ui/const-generics/defaults/concrete-const-param-type.stderr

@@ -1,7 +1,7 @@
 // issue: rust-lang/rust#114463
 // ICE cannot convert `ReFree ..` to a region vid
 #![feature(generic_const_exprs)]
-//~^ WARN the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
+
 fn bug<'a>() {
     [(); (|_: &'a u8| (), 0).1];
     //~^ ERROR cannot capture late-bound lifetime in constant

tests/ui/const-generics/generic_const_exprs/cannot-convert-refree-ice-114463.rs

@@ -1,12 +1,3 @@
-warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/cannot-convert-refree-ice-114463.rs:3:12
-   |
-LL | #![feature(generic_const_exprs)]
-   |            ^^^^^^^^^^^^^^^^^^^
-   |
-   = note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
-   = note: `#[warn(incomplete_features)]` on by default
-
 error: cannot capture late-bound lifetime in constant
   --> $DIR/cannot-convert-refree-ice-114463.rs:6:16
    |
@@ -15,5 +6,5 @@ LL | fn bug<'a>() {
 LL |     [(); (|_: &'a u8| (), 0).1];
    |                ^^
 
-error: aborting due to 1 previous error; 1 warning emitted
+error: aborting due to 1 previous error
 

tests/ui/const-generics/generic_const_exprs/cannot-convert-refree-ice-114463.stderr

@@ -1,5 +1,4 @@
 #![feature(generic_const_exprs)]
-//~^ WARN the feature `generic_const_exprs` is incomplete
 
 fn foo<T>() {
     let _ = [0u8; { const { std::mem::size_of::<T>() } }];