Rename tilde const test files to conditionally const

Author: oli-obk

src/tools/tidy/src/issues.txt

@@ -3921,7 +3921,6 @@ ui/traits/const-traits/issue-79450.rs
 ui/traits/const-traits/issue-88155.rs
 ui/traits/const-traits/issue-92111.rs
 ui/traits/const-traits/issue-92230-wf-super-trait-env.rs
-ui/traits/const-traits/specialization/issue-95186-specialize-on-tilde-const.rs
 ui/traits/const-traits/specialization/issue-95187-same-trait-bound-different-constness.rs
 ui/traits/issue-103563.rs
 ui/traits/issue-104322.rs

tests/ui/traits/const-traits/call-const-in-tilde-const.rs renamed to tests/ui/traits/const-traits/call-const-in-conditionally-const.rs

@@ -1,5 +1,5 @@
 error[E0277]: the trait bound `T: const Foo` is not satisfied
-  --> $DIR/call-const-in-tilde-const.rs:9:13
+  --> $DIR/call-const-in-conditionally-const.rs:9:13
    |
 LL |     const { T::foo() }
    |             ^

tests/ui/traits/const-traits/call-const-in-tilde-const.stderr renamed to tests/ui/traits/const-traits/call-const-in-conditionally-const.stderr

@@ -1,35 +1,35 @@
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-and-const-params.rs:8:13
+  --> $DIR/conditionally-const-and-const-params.rs:8:13
    |
 LL |     fn add<A: [const] Add42>(self) -> Foo<{ A::add(N) }> {
    |             ^^^^^^^^^
    |
 note: this function is not `const`, so it cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-and-const-params.rs:8:8
+  --> $DIR/conditionally-const-and-const-params.rs:8:8
    |
 LL |     fn add<A: [const] Add42>(self) -> Foo<{ A::add(N) }> {
    |        ^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-and-const-params.rs:26:9
+  --> $DIR/conditionally-const-and-const-params.rs:26:9
    |
 LL | fn bar<A: [const] Add42, const N: usize>(_: Foo<N>) -> Foo<{ A::add(N) }> {
    |         ^^^^^^^^^
    |
 note: this function is not `const`, so it cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-and-const-params.rs:26:4
+  --> $DIR/conditionally-const-and-const-params.rs:26:4
    |
 LL | fn bar<A: [const] Add42, const N: usize>(_: Foo<N>) -> Foo<{ A::add(N) }> {
    |    ^^^
 
 error[E0277]: the trait bound `A: const Add42` is not satisfied
-  --> $DIR/tilde-const-and-const-params.rs:26:62
+  --> $DIR/conditionally-const-and-const-params.rs:26:62
    |
 LL | fn bar<A: [const] Add42, const N: usize>(_: Foo<N>) -> Foo<{ A::add(N) }> {
    |                                                              ^
 
 error[E0277]: the trait bound `A: const Add42` is not satisfied
-  --> $DIR/tilde-const-and-const-params.rs:8:45
+  --> $DIR/conditionally-const-and-const-params.rs:8:45
    |
 LL |     fn add<A: [const] Add42>(self) -> Foo<{ A::add(N) }> {
    |                                             ^

tests/ui/traits/const-traits/tilde-const-and-const-params.rs renamed to tests/ui/traits/const-traits/conditionally-const-and-const-params.rs

@@ -1,229 +1,229 @@
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:7:24
+  --> $DIR/conditionally-const-invalid-places.rs:7:24
    |
 LL | fn non_const_function<T: [const] Trait>() {}
    |                        ^^^^^^^^^
    |
 note: this function is not `const`, so it cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:7:4
+  --> $DIR/conditionally-const-invalid-places.rs:7:4
    |
 LL | fn non_const_function<T: [const] Trait>() {}
    |    ^^^^^^^^^^^^^^^^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:9:16
+  --> $DIR/conditionally-const-invalid-places.rs:9:16
    |
 LL | struct Struct<T: [const] Trait> { field: T }
    |                ^^^^^^^^^
    |
    = note: this item cannot have `[const]` trait bounds
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:10:21
+  --> $DIR/conditionally-const-invalid-places.rs:10:21
    |
 LL | struct TupleStruct<T: [const] Trait>(T);
    |                     ^^^^^^^^^
    |
    = note: this item cannot have `[const]` trait bounds
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:11:20
+  --> $DIR/conditionally-const-invalid-places.rs:11:20
    |
 LL | struct UnitStruct<T: [const] Trait>;
    |                    ^^^^^^^^^
    |
    = note: this item cannot have `[const]` trait bounds
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:14:12
+  --> $DIR/conditionally-const-invalid-places.rs:14:12
    |
 LL | enum Enum<T: [const] Trait> { Variant(T) }
    |            ^^^^^^^^^
    |
    = note: this item cannot have `[const]` trait bounds
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:16:14
+  --> $DIR/conditionally-const-invalid-places.rs:16:14
    |
 LL | union Union<T: [const] Trait> { field: T }
    |              ^^^^^^^^^
    |
    = note: this item cannot have `[const]` trait bounds
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:19:12
+  --> $DIR/conditionally-const-invalid-places.rs:19:12
    |
 LL | type Type<T: [const] Trait> = T;
    |            ^^^^^^^^^
    |
    = note: this item cannot have `[const]` trait bounds
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:21:17
+  --> $DIR/conditionally-const-invalid-places.rs:21:17
    |
 LL | const CONSTANT<T: [const] Trait>: () = ();
    |                 ^^^^^^^^^
    |
    = note: this item cannot have `[const]` trait bounds
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:25:16
+  --> $DIR/conditionally-const-invalid-places.rs:25:16
    |
 LL |     type Type<T: [const] Trait>: [const] Trait;
    |                ^^^^^^^^^
    |
 note: associated types in non-`#[const_trait]` traits cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:25:5
+  --> $DIR/conditionally-const-invalid-places.rs:25:5
    |
 LL |     type Type<T: [const] Trait>: [const] Trait;
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:25:32
+  --> $DIR/conditionally-const-invalid-places.rs:25:32
    |
 LL |     type Type<T: [const] Trait>: [const] Trait;
    |                                ^^^^^^^^^
    |
 note: associated types in non-`#[const_trait]` traits cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:25:5
+  --> $DIR/conditionally-const-invalid-places.rs:25:5
    |
 LL |     type Type<T: [const] Trait>: [const] Trait;
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:28:28
+  --> $DIR/conditionally-const-invalid-places.rs:28:28
    |
 LL |     fn non_const_function<T: [const] Trait>();
    |                            ^^^^^^^^^
    |
 note: this function is not `const`, so it cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:28:8
+  --> $DIR/conditionally-const-invalid-places.rs:28:8
    |
 LL |     fn non_const_function<T: [const] Trait>();
    |        ^^^^^^^^^^^^^^^^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:29:21
+  --> $DIR/conditionally-const-invalid-places.rs:29:21
    |
 LL |     const CONSTANT<T: [const] Trait>: ();
    |                     ^^^^^^^^^
    |
    = note: this item cannot have `[const]` trait bounds
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:34:16
+  --> $DIR/conditionally-const-invalid-places.rs:34:16
    |
 LL |     type Type<T: [const] Trait> = ();
    |                ^^^^^^^^^
    |
 note: associated types in non-const impls cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:34:5
+  --> $DIR/conditionally-const-invalid-places.rs:34:5
    |
 LL |     type Type<T: [const] Trait> = ();
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:36:28
+  --> $DIR/conditionally-const-invalid-places.rs:36:28
    |
 LL |     fn non_const_function<T: [const] Trait>() {}
    |                            ^^^^^^^^^
    |
 note: this function is not `const`, so it cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:36:8
+  --> $DIR/conditionally-const-invalid-places.rs:36:8
    |
 LL |     fn non_const_function<T: [const] Trait>() {}
    |        ^^^^^^^^^^^^^^^^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:37:21
+  --> $DIR/conditionally-const-invalid-places.rs:37:21
    |
 LL |     const CONSTANT<T: [const] Trait>: () = ();
    |                     ^^^^^^^^^
    |
    = note: this item cannot have `[const]` trait bounds
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:44:16
+  --> $DIR/conditionally-const-invalid-places.rs:44:16
    |
 LL |     type Type<T: [const] Trait> = ();
    |                ^^^^^^^^^
    |
 note: inherent associated types cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:44:5
+  --> $DIR/conditionally-const-invalid-places.rs:44:5
    |
 LL |     type Type<T: [const] Trait> = ();
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:46:28
+  --> $DIR/conditionally-const-invalid-places.rs:46:28
    |
 LL |     fn non_const_function<T: [const] Trait>() {}
    |                            ^^^^^^^^^
    |
 note: this function is not `const`, so it cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:46:8
+  --> $DIR/conditionally-const-invalid-places.rs:46:8
    |
 LL |     fn non_const_function<T: [const] Trait>() {}
    |        ^^^^^^^^^^^^^^^^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:47:21
+  --> $DIR/conditionally-const-invalid-places.rs:47:21
    |
 LL |     const CONSTANT<T: [const] Trait>: () = ();
    |                     ^^^^^^^^^
    |
    = note: this item cannot have `[const]` trait bounds
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:52:13
+  --> $DIR/conditionally-const-invalid-places.rs:52:13
    |
 LL | trait Child0: [const] Trait {}
    |             ^^^^^^^^^
    |
 note: this trait is not a `#[const_trait]`, so it cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:52:1
+  --> $DIR/conditionally-const-invalid-places.rs:52:1
    |
 LL | trait Child0: [const] Trait {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:53:24
+  --> $DIR/conditionally-const-invalid-places.rs:53:24
    |
 LL | trait Child1 where Self: [const] Trait {}
    |                        ^^^^^^^^^
    |
 note: this trait is not a `#[const_trait]`, so it cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:53:1
+  --> $DIR/conditionally-const-invalid-places.rs:53:1
    |
 LL | trait Child1 where Self: [const] Trait {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:56:7
+  --> $DIR/conditionally-const-invalid-places.rs:56:7
    |
 LL | impl<T: [const] Trait> Trait for T {}
    |       ^^^^^^^^^
    |
 note: this impl is not `const`, so it cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:56:1
+  --> $DIR/conditionally-const-invalid-places.rs:56:1
    |
 LL | impl<T: [const] Trait> Trait for T {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error: `[const]` is not allowed here
-  --> $DIR/tilde-const-invalid-places.rs:59:7
+  --> $DIR/conditionally-const-invalid-places.rs:59:7
    |
 LL | impl<T: [const] Trait> Struct<T> {}
    |       ^^^^^^^^^
    |
 note: inherent impls cannot have `[const]` trait bounds
-  --> $DIR/tilde-const-invalid-places.rs:59:1
+  --> $DIR/conditionally-const-invalid-places.rs:59:1
    |
 LL | impl<T: [const] Trait> Struct<T> {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 error[E0658]: generic const items are experimental
-  --> $DIR/tilde-const-invalid-places.rs:21:15
+  --> $DIR/conditionally-const-invalid-places.rs:21:15
    |
 LL | const CONSTANT<T: [const] Trait>: () = ();
    |               ^^^^^^^^^^^^^^^^^^
@@ -233,7 +233,7 @@ LL | const CONSTANT<T: [const] Trait>: () = ();
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error[E0658]: generic const items are experimental
-  --> $DIR/tilde-const-invalid-places.rs:29:19
+  --> $DIR/conditionally-const-invalid-places.rs:29:19
    |
 LL |     const CONSTANT<T: [const] Trait>: ();
    |                   ^^^^^^^^^^^^^^^^^^
@@ -243,7 +243,7 @@ LL |     const CONSTANT<T: [const] Trait>: ();
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error[E0658]: generic const items are experimental
-  --> $DIR/tilde-const-invalid-places.rs:37:19
+  --> $DIR/conditionally-const-invalid-places.rs:37:19
    |
 LL |     const CONSTANT<T: [const] Trait>: () = ();
    |                   ^^^^^^^^^^^^^^^^^^
@@ -253,7 +253,7 @@ LL |     const CONSTANT<T: [const] Trait>: () = ();
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error[E0658]: generic const items are experimental
-  --> $DIR/tilde-const-invalid-places.rs:47:19
+  --> $DIR/conditionally-const-invalid-places.rs:47:19
    |
 LL |     const CONSTANT<T: [const] Trait>: () = ();
    |                   ^^^^^^^^^^^^^^^^^^
@@ -263,15 +263,15 @@ LL |     const CONSTANT<T: [const] Trait>: () = ();
    = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
 
 error[E0392]: type parameter `T` is never used
-  --> $DIR/tilde-const-invalid-places.rs:11:19
+  --> $DIR/conditionally-const-invalid-places.rs:11:19
    |
 LL | struct UnitStruct<T: [const] Trait>;
    |                   ^ unused type parameter
    |
    = help: consider removing `T`, referring to it in a field, or using a marker such as `PhantomData`
 
 error[E0740]: field must implement `Copy` or be wrapped in `ManuallyDrop<...>` to be used in a union
-  --> $DIR/tilde-const-invalid-places.rs:16:33
+  --> $DIR/conditionally-const-invalid-places.rs:16:33
    |
 LL | union Union<T: [const] Trait> { field: T }
    |                                 ^^^^^^^^
@@ -283,19 +283,19 @@ LL | union Union<T: [const] Trait> { field: std::mem::ManuallyDrop<T> }
    |                                        +++++++++++++++++++++++ +
 
 error[E0275]: overflow evaluating the requirement `(): Trait`
-  --> $DIR/tilde-const-invalid-places.rs:34:35
+  --> $DIR/conditionally-const-invalid-places.rs:34:35
    |
 LL |     type Type<T: [const] Trait> = ();
    |                                   ^^
    |
 note: required by a bound in `NonConstTrait::Type`
-  --> $DIR/tilde-const-invalid-places.rs:25:34
+  --> $DIR/conditionally-const-invalid-places.rs:25:34
    |
 LL |     type Type<T: [const] Trait>: [const] Trait;
    |                                  ^^^^^^^^^^^^^ required by this bound in `NonConstTrait::Type`
 
 error[E0658]: inherent associated types are unstable
-  --> $DIR/tilde-const-invalid-places.rs:44:5
+  --> $DIR/conditionally-const-invalid-places.rs:44:5
    |
 LL |     type Type<T: [const] Trait> = ();
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/ui/traits/const-traits/tilde-const-and-const-params.stderr renamed to tests/ui/traits/const-traits/conditionally-const-and-const-params.stderr

@@ -1,5 +1,5 @@
 error: expected identifier, found `]`
-  --> $DIR/tilde-twice.rs:5:27
+  --> $DIR/duplicate-constness.rs:5:27
    |
 LL | struct S<T: [const] [const] Tr>;
    |                           ^ expected identifier