trait_selection: fix type-const eval ICE

tests/ui/const-generics/mgca/type_const-recursive.stderr → tests/ui/const-generics/mgca/type_const-recursive.current.stderr

@@ -1,5 +1,5 @@
 error[E0275]: overflow normalizing the unevaluated constant `A`
-  --> $DIR/type_const-recursive.rs:5:1
+  --> $DIR/type_const-recursive.rs:9:1
    |
 LL | const A: u8 = A;
    | ^^^^^^^^^^^

tests/ui/const-generics/mgca/type_const-recursive.next.stderr

@@ -0,0 +1,8 @@
+error: cycle detected when evaluating type-level constant
+  --> $DIR/type_const-recursive.rs:9:1
+   |
+LL | const A: u8 = A;
+   | ^^^^^^^^^^^
+
+error: aborting due to 1 previous error
+

tests/ui/const-generics/mgca/type_const-recursive.rs

@@ -1,8 +1,13 @@
+//@ revisions: current next
+//@[next] compile-flags: -Znext-solver
+//@ ignore-compare-mode-next-solver (explicit revisions)
+
 #![expect(incomplete_features)]
 #![feature(min_generic_const_args)]
 
 #[type_const]
 const A: u8 = A;
-//~^ ERROR: overflow normalizing the unevaluated constant `A` [E0275]
+//[current]~^ ERROR: overflow normalizing the unevaluated constant `A` [E0275]
+//[next]~^^ ERROR cycle detected when evaluating type-level constant
 
 fn main() {}

tests/ui/const-generics/type-const-cycle.rs

@@ -0,0 +1,18 @@
+//@ compile-flags: -Znext-solver=globally
+#![feature(generic_const_items, min_generic_const_args)]
+#![allow(incomplete_features)]
+
+trait Owner {
+    #[type_const]
+    const C<const N: u32>: u32;
+    //~^ ERROR cycle detected when evaluating type-level constant
+}
+
+impl Owner for () {
+    #[type_const]
+    const C<const N: u32>: u32 = { <() as Owner>::C::<N> };
+}
+
+type Arr = [u8; <() as Owner>::C::<0>];
+
+fn main() {}

tests/ui/const-generics/type-const-cycle.stderr

@@ -0,0 +1,8 @@
+error: cycle detected when evaluating type-level constant
+  --> $DIR/type-const-cycle.rs:7:5
+   |
+LL |     const C<const N: u32>: u32;
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to 1 previous error
+

tests/ui/const-generics/type-const-ice-issue-151631.rs

@@ -0,0 +1,38 @@
+//@ compile-flags: -Znext-solver=globally
+#![feature(generic_const_items, min_generic_const_args)]
+#![feature(adt_const_params)]
+#![allow(incomplete_features)]
+#![allow(dead_code)]
+
+trait Owner: NewTrait {
+    #[type_const]
+    const C<const N: u32>: u32;
+    #[type_const]
+    const K<const N: u32>: u32;
+}
+
+trait NewTrait {}
+
+impl NewTrait for () {}
+
+impl Owner for () {
+    #[type_const]
+    const C<const N: u32>: u32 = N;
+    #[type_const]
+    const K<const N: u32>: u32 = const { 99 + 1 };
+}
+
+fn take0<const N: u32>(_: impl Owner<C<N> = { N }>) {}
+fn take1(_: impl Owner<K<99> = 100>) {}
+
+#[derive(PartialEq, Eq, std::marker::ConstParamTy)]
+enum Maybe<T> {
+    Nothing,
+    Just(T),
+}
+
+fn main() {
+    take0::<128>(());
+    take1(());
+    //~^ ERROR type mismatch resolving `const { 99 + 1 } == 100`
+}

tests/ui/const-generics/type-const-ice-issue-151631.stderr

@@ -0,0 +1,17 @@
+error[E0271]: type mismatch resolving `const { 99 + 1 } == 100`
+  --> $DIR/type-const-ice-issue-151631.rs:36:11
+   |
+LL |     take1(());
+   |     ----- ^^ types differ
+   |     |
+   |     required by a bound introduced by this call
+   |
+note: required by a bound in `take1`
+  --> $DIR/type-const-ice-issue-151631.rs:26:24
+   |
+LL | fn take1(_: impl Owner<K<99> = 100>) {}
+   |                        ^^^^^^^^^^^ required by this bound in `take1`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0271`.