Update tests

Author: camelid

tests/ui/const-generics/associated-const-bindings/ambiguity.rs

@@ -1,7 +1,7 @@
 // We used to say "ambiguous associated type" on ambiguous associated consts.
 // Ensure that we now use the correct label.
 
-#![feature(min_generic_const_args, unsized_const_params)]
+#![feature(adt_const_params, min_generic_const_args, unsized_const_params)]
 #![allow(incomplete_features)]
 
 trait Trait0: Parent0<i32> + Parent0<u32> {}

tests/ui/const-generics/associated-const-bindings/ambiguity.stderr

@@ -1,11 +1,3 @@
-error: `unsized_const_params` requires `adt_const_params` to be enabled
-  --> $DIR/ambiguity.rs:4:36
-   |
-LL | #![feature(min_generic_const_args, unsized_const_params)]
-   |                                    ^^^^^^^^^^^^^^^^^^^^
-   |
-   = help: enable all of these features
-
 error[E0222]: ambiguous associated constant `K` in bounds of `Trait0`
   --> $DIR/ambiguity.rs:13:25
    |
@@ -42,6 +34,6 @@ LL | fn take1(_: impl Trait1<C = "?">) {}
                    T: Parent2::C = "?",
                    T: Parent1::C = "?"
 
-error: aborting due to 3 previous errors
+error: aborting due to 2 previous errors
 
 For more information about this error, try `rustc --explain E0222`.

tests/ui/const-generics/associated-const-bindings/coexisting-with-type-binding.rs

@@ -5,7 +5,7 @@
 
 //@ check-pass
 
-#![feature(min_generic_const_args, unsized_const_params)]
+#![feature(adt_const_params, min_generic_const_args, unsized_const_params)]
 #![allow(incomplete_features)]
 
 trait Trait: SuperTrait {

tests/ui/const-generics/associated-const-bindings/dyn-compat-assoc-const-ty-mentions-self.rs

@@ -3,6 +3,7 @@
 
 //@ dont-require-annotations: NOTE
 
+#![feature(adt_const_params)]
 #![feature(generic_const_items)]
 #![feature(generic_const_parameter_types)]
 #![feature(min_generic_const_args)]

tests/ui/const-generics/associated-const-bindings/dyn-compat-assoc-const-ty-mentions-self.stderr

@@ -1,12 +1,12 @@
 error[E0038]: the trait `Trait` is not dyn compatible
-  --> $DIR/dyn-compat-assoc-const-ty-mentions-self.rs:37:16
+  --> $DIR/dyn-compat-assoc-const-ty-mentions-self.rs:38:16
    |
 LL |     let _: dyn Trait;
    |                ^^^^^ `Trait` is not dyn compatible
    |
 note: for a trait to be dyn compatible it needs to allow building a vtable
       for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
-  --> $DIR/dyn-compat-assoc-const-ty-mentions-self.rs:17:11
+  --> $DIR/dyn-compat-assoc-const-ty-mentions-self.rs:18:11
    |
 LL | trait Trait {
    |       ----- this trait is not dyn compatible...

tests/ui/const-generics/associated-const-bindings/dyn-compat-self-const-projections-in-assoc-const-ty.rs

@@ -4,7 +4,7 @@
 //              to the rest of the compiler and by extension the user via diagnostics.
 //@ known-bug: unknown
 
-#![feature(min_generic_const_args, unsized_const_params, generic_const_parameter_types)]
+#![feature(adt_const_params, min_generic_const_args, unsized_const_params, generic_const_parameter_types)]
 #![expect(incomplete_features)]
 
 trait A {

tests/ui/const-generics/associated-const-bindings/esc-bound-var-in-ty.rs

@@ -1,6 +1,7 @@
 // Detect and reject escaping late-bound generic params in
 // the type of assoc consts used in an equality bound.
 #![feature(
+    adt_const_params,
     min_generic_const_args,
     unsized_const_params,
     generic_const_parameter_types,

tests/ui/const-generics/associated-const-bindings/esc-bound-var-in-ty.stderr

@@ -1,13 +1,5 @@
-error: `unsized_const_params` requires `adt_const_params` to be enabled
-  --> $DIR/esc-bound-var-in-ty.rs:5:5
-   |
-LL |     unsized_const_params,
-   |     ^^^^^^^^^^^^^^^^^^^^
-   |
-   = help: enable all of these features
-
 error: the type of the associated constant `K` cannot capture late-bound generic parameters
-  --> $DIR/esc-bound-var-in-ty.rs:15:35
+  --> $DIR/esc-bound-var-in-ty.rs:16:35
    |
 LL | fn take(_: impl for<'r> Trait<'r, K = const { &() }>) {}
    |                     --            ^ its type cannot capture the late-bound lifetime parameter `'r`
@@ -16,5 +8,5 @@ LL | fn take(_: impl for<'r> Trait<'r, K = const { &() }>) {}
    |
    = note: `K` has type `&'r ()`
 
-error: aborting due to 2 previous errors
+error: aborting due to 1 previous error
 

tests/ui/const-generics/mgca/size-of-generic-ptr-in-array-len.stderr

@@ -9,6 +9,8 @@ error: generic parameters may not be used in const operations
    |
 LL |     [0; const { size_of::<*mut T>() }];
    |                                ^
+   |
+   = help: add `#![feature(opaque_generic_const_args)]` to allow generic expressions as the RHS of const items
 
 error: aborting due to 2 previous errors
 

tests/ui/generic-const-items/assoc-const-no-infer-ice-115806.rs

@@ -1,6 +1,6 @@
 // ICE: assertion failed: !value.has_infer()
 // issue: rust-lang/rust#115806
-#![feature(min_generic_const_args, unsized_const_params)]
+#![feature(adt_const_params, min_generic_const_args, unsized_const_params)]
 #![allow(incomplete_features)]
 
 pub struct NoPin;