rust-lang · rust-bors · Oct 3, 2026 · Oct 2, 2026
diff --git a/tests/ui/associated-types/always-applicable-impls-shadowed-in-trait-def.next.stderr b/tests/ui/associated-types/always-applicable-impls-shadowed-in-trait-def.next.stderr
@@ -1,11 +1,11 @@
 error[E0277]: the trait bound `Self: Eq<<Self as Trait>::Assoc>` is not satisfied
-  --> $DIR/always-applicable-impls-shadowed-in-trait-def.rs:13:17
+  --> $DIR/always-applicable-impls-shadowed-in-trait-def.rs:14:17
    |
 LL |     fn foo() -> IsEqual<Self, Self::Assoc> {
    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Eq<<Self as Trait>::Assoc>` is not implemented for `Self`
    |
 note: required by a bound in `IsEqual`
-  --> $DIR/always-applicable-impls-shadowed-in-trait-def.rs:9:19
+  --> $DIR/always-applicable-impls-shadowed-in-trait-def.rs:10:19
    |
 LL | struct IsEqual<T: Eq<U>, U>(T, U);
    |                   ^^^^^ required by this bound in `IsEqual`

diff --git a/tests/ui/associated-types/always-applicable-impls-shadowed-in-trait-def.old.stderr b/tests/ui/associated-types/always-applicable-impls-shadowed-in-trait-def.old.stderr
@@ -1,11 +1,11 @@
 error[E0277]: the trait bound `Self: Eq<<Self as Trait>::Assoc>` is not satisfied
-  --> $DIR/always-applicable-impls-shadowed-in-trait-def.rs:13:17
+  --> $DIR/always-applicable-impls-shadowed-in-trait-def.rs:14:17
    |
 LL |     fn foo() -> IsEqual<Self, Self::Assoc> {
    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Eq<<Self as Trait>::Assoc>` is not implemented for `Self`
    |
 note: required by a bound in `IsEqual`
-  --> $DIR/always-applicable-impls-shadowed-in-trait-def.rs:9:19
+  --> $DIR/always-applicable-impls-shadowed-in-trait-def.rs:10:19
    |
 LL | struct IsEqual<T: Eq<U>, U>(T, U);
    |                   ^^^^^ required by this bound in `IsEqual`

diff --git a/tests/ui/associated-types/always-applicable-impls-shadowed-in-trait-def.rs b/tests/ui/associated-types/always-applicable-impls-shadowed-in-trait-def.rs
@@ -1,4 +1,5 @@
 //@ revisions: old next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 // Testing that even if there's an always applicable blanket impl, the trait

diff --git a/tests/ui/associated-types/imply-relevant-nested-item-bounds-2.rs b/tests/ui/associated-types/imply-relevant-nested-item-bounds-2.rs
@@ -1,5 +1,6 @@
 //@ check-pass
 //@ revisions: current next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 trait Trait

diff --git a/tests/ui/associated-types/imply-relevant-nested-item-bounds.rs b/tests/ui/associated-types/imply-relevant-nested-item-bounds.rs
@@ -1,5 +1,6 @@
 //@ check-pass
 //@ revisions: current next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 trait Foo

diff --git a/tests/ui/coherence/orphan-check-alias.classic.stderr b/tests/ui/coherence/orphan-check-alias.classic.stderr
@@ -1,5 +1,5 @@
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`B`)
-  --> $DIR/orphan-check-alias.rs:21:6
+  --> $DIR/orphan-check-alias.rs:22:6
    |
 LL | impl<T> foreign::Trait2<B, T> for <T as Id>::Assoc {
    |      ^ uncovered type parameter

diff --git a/tests/ui/coherence/orphan-check-alias.next.stderr b/tests/ui/coherence/orphan-check-alias.next.stderr
@@ -1,5 +1,5 @@
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`B`)
-  --> $DIR/orphan-check-alias.rs:21:6
+  --> $DIR/orphan-check-alias.rs:22:6
    |
 LL | impl<T> foreign::Trait2<B, T> for <T as Id>::Assoc {
    |      ^ uncovered type parameter

diff --git a/tests/ui/coherence/orphan-check-alias.rs b/tests/ui/coherence/orphan-check-alias.rs
@@ -1,6 +1,7 @@
 // Alias might not cover type parameters.
 
 //@ revisions: classic next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 //@ aux-crate:foreign=parametrized-trait.rs

diff --git a/tests/ui/coherence/orphan-check-projections-nested.rs b/tests/ui/coherence/orphan-check-projections-nested.rs
@@ -2,6 +2,7 @@
 
 //@ check-pass
 //@ revisions: classic next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 //@ aux-crate:dep=trait-with-assoc-ty.rs
 //@ edition: 2021

diff --git a/tests/ui/coherence/orphan-check-projections-not-covering-ambiguity.classic.stderr b/tests/ui/coherence/orphan-check-projections-not-covering-ambiguity.classic.stderr
@@ -1,5 +1,5 @@
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
-  --> $DIR/orphan-check-projections-not-covering-ambiguity.rs:25:6
+  --> $DIR/orphan-check-projections-not-covering-ambiguity.rs:26:6
    |
 LL | impl<T> foreign::Trait1<Local, T> for <T as Project>::Output {}
    |      ^ uncovered type parameter

diff --git a/tests/ui/coherence/orphan-check-projections-not-covering-ambiguity.next.stderr b/tests/ui/coherence/orphan-check-projections-not-covering-ambiguity.next.stderr
@@ -1,5 +1,5 @@
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
-  --> $DIR/orphan-check-projections-not-covering-ambiguity.rs:25:6
+  --> $DIR/orphan-check-projections-not-covering-ambiguity.rs:26:6
    |
 LL | impl<T> foreign::Trait1<Local, T> for <T as Project>::Output {}
    |      ^ uncovered type parameter

diff --git a/tests/ui/coherence/orphan-check-projections-not-covering-ambiguity.rs b/tests/ui/coherence/orphan-check-projections-not-covering-ambiguity.rs
@@ -7,6 +7,7 @@
 // ambiguity.
 
 //@ revisions: classic next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 //@ check-pass

diff --git a/tests/ui/coherence/orphan-check-projections-not-covering-multiple-params.classic.stderr b/tests/ui/coherence/orphan-check-projections-not-covering-multiple-params.classic.stderr
@@ -1,5 +1,5 @@
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`LocalTy`)
-  --> $DIR/orphan-check-projections-not-covering-multiple-params.rs:17:6
+  --> $DIR/orphan-check-projections-not-covering-multiple-params.rs:18:6
    |
 LL | impl<T, U> foreign::Trait0<LocalTy, T, U> for <() as Trait<T, U>>::Assoc {}
    |      ^ uncovered type parameter
@@ -13,7 +13,7 @@ LL | impl<T, U> foreign::Trait0<LocalTy, T, U> for <() as Trait<T, U>>::Assoc {}
    = note: `#[warn(uncovered_param_in_projection)]` (part of `#[warn(future_incompatible)]`) on by default
 
 warning: type parameter `U` must be covered by another type when it appears before the first local type (`LocalTy`)
-  --> $DIR/orphan-check-projections-not-covering-multiple-params.rs:17:9
+  --> $DIR/orphan-check-projections-not-covering-multiple-params.rs:18:9
    |
 LL | impl<T, U> foreign::Trait0<LocalTy, T, U> for <() as Trait<T, U>>::Assoc {}
    |         ^ uncovered type parameter

diff --git a/tests/ui/coherence/orphan-check-projections-not-covering-multiple-params.next.stderr b/tests/ui/coherence/orphan-check-projections-not-covering-multiple-params.next.stderr
@@ -1,5 +1,5 @@
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`LocalTy`)
-  --> $DIR/orphan-check-projections-not-covering-multiple-params.rs:17:6
+  --> $DIR/orphan-check-projections-not-covering-multiple-params.rs:18:6
    |
 LL | impl<T, U> foreign::Trait0<LocalTy, T, U> for <() as Trait<T, U>>::Assoc {}
    |      ^ uncovered type parameter
@@ -13,7 +13,7 @@ LL | impl<T, U> foreign::Trait0<LocalTy, T, U> for <() as Trait<T, U>>::Assoc {}
    = note: `#[warn(uncovered_param_in_projection)]` (part of `#[warn(future_incompatible)]`) on by default
 
 warning: type parameter `U` must be covered by another type when it appears before the first local type (`LocalTy`)
-  --> $DIR/orphan-check-projections-not-covering-multiple-params.rs:17:9
+  --> $DIR/orphan-check-projections-not-covering-multiple-params.rs:18:9
    |
 LL | impl<T, U> foreign::Trait0<LocalTy, T, U> for <() as Trait<T, U>>::Assoc {}
    |         ^ uncovered type parameter

diff --git a/tests/ui/coherence/orphan-check-projections-not-covering-multiple-params.rs b/tests/ui/coherence/orphan-check-projections-not-covering-multiple-params.rs
@@ -1,4 +1,5 @@
 //@ revisions: classic next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 //@ check-pass

diff --git a/tests/ui/coherence/orphan-check-projections-not-covering.classic.stderr b/tests/ui/coherence/orphan-check-projections-not-covering.classic.stderr
@@ -1,5 +1,5 @@
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
-  --> $DIR/orphan-check-projections-not-covering.rs:22:6
+  --> $DIR/orphan-check-projections-not-covering.rs:23:6
    |
 LL | impl<T> foreign::Trait0<Local, T, ()> for <T as Identity>::Output {}
    |      ^ uncovered type parameter
@@ -13,7 +13,7 @@ LL | impl<T> foreign::Trait0<Local, T, ()> for <T as Identity>::Output {}
    = note: `#[warn(uncovered_param_in_projection)]` (part of `#[warn(future_incompatible)]`) on by default
 
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
-  --> $DIR/orphan-check-projections-not-covering.rs:27:6
+  --> $DIR/orphan-check-projections-not-covering.rs:28:6
    |
 LL | impl<T> foreign::Trait0<<T as Identity>::Output, Local, T> for Option<T> {}
    |      ^ uncovered type parameter
@@ -26,7 +26,7 @@ LL | impl<T> foreign::Trait0<<T as Identity>::Output, Local, T> for Option<T> {}
    = note: for more information, see issue #124559 <https://github.com/rust-lang/rust/issues/124559>
 
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
-  --> $DIR/orphan-check-projections-not-covering.rs:40:6
+  --> $DIR/orphan-check-projections-not-covering.rs:41:6
    |
 LL | impl<T: Deferred> foreign::Trait1<Local, T> for <T as Deferred>::Output {}
    |      ^ uncovered type parameter

diff --git a/tests/ui/coherence/orphan-check-projections-not-covering.next.stderr b/tests/ui/coherence/orphan-check-projections-not-covering.next.stderr
@@ -1,5 +1,5 @@
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
-  --> $DIR/orphan-check-projections-not-covering.rs:22:6
+  --> $DIR/orphan-check-projections-not-covering.rs:23:6
    |
 LL | impl<T> foreign::Trait0<Local, T, ()> for <T as Identity>::Output {}
    |      ^ uncovered type parameter
@@ -13,7 +13,7 @@ LL | impl<T> foreign::Trait0<Local, T, ()> for <T as Identity>::Output {}
    = note: `#[warn(uncovered_param_in_projection)]` (part of `#[warn(future_incompatible)]`) on by default
 
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
-  --> $DIR/orphan-check-projections-not-covering.rs:27:6
+  --> $DIR/orphan-check-projections-not-covering.rs:28:6
    |
 LL | impl<T> foreign::Trait0<<T as Identity>::Output, Local, T> for Option<T> {}
    |      ^ uncovered type parameter
@@ -26,7 +26,7 @@ LL | impl<T> foreign::Trait0<<T as Identity>::Output, Local, T> for Option<T> {}
    = note: for more information, see issue #124559 <https://github.com/rust-lang/rust/issues/124559>
 
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
-  --> $DIR/orphan-check-projections-not-covering.rs:40:6
+  --> $DIR/orphan-check-projections-not-covering.rs:41:6
    |
 LL | impl<T: Deferred> foreign::Trait1<Local, T> for <T as Deferred>::Output {}
    |      ^ uncovered type parameter

diff --git a/tests/ui/coherence/orphan-check-projections-not-covering.rs b/tests/ui/coherence/orphan-check-projections-not-covering.rs
@@ -2,6 +2,7 @@
 // Projections might not cover type parameters.
 
 //@ revisions: classic next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 //@ check-pass

diff --git a/tests/ui/coherence/orphan-check-projections-unsat-bounds.classic.stderr b/tests/ui/coherence/orphan-check-projections-unsat-bounds.classic.stderr
@@ -1,5 +1,5 @@
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`LocalTy`)
-  --> $DIR/orphan-check-projections-unsat-bounds.rs:28:6
+  --> $DIR/orphan-check-projections-unsat-bounds.rs:29:6
    |
 LL | impl<T> foreign::Trait1<LocalTy, T> for <Wrapper<T> as Discard>::Output
    |      ^ uncovered type parameter

diff --git a/tests/ui/coherence/orphan-check-projections-unsat-bounds.next.stderr b/tests/ui/coherence/orphan-check-projections-unsat-bounds.next.stderr
@@ -1,5 +1,5 @@
 warning: type parameter `T` must be covered by another type when it appears before the first local type (`LocalTy`)
-  --> $DIR/orphan-check-projections-unsat-bounds.rs:28:6
+  --> $DIR/orphan-check-projections-unsat-bounds.rs:29:6
    |
 LL | impl<T> foreign::Trait1<LocalTy, T> for <Wrapper<T> as Discard>::Output
    |      ^ uncovered type parameter

diff --git a/tests/ui/coherence/orphan-check-projections-unsat-bounds.rs b/tests/ui/coherence/orphan-check-projections-unsat-bounds.rs
@@ -4,6 +4,7 @@
 // unsatisfied bounds while normalization outside of orphan checking succeeds.
 
 //@ revisions: classic next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 //@ check-pass

diff --git a/tests/ui/coherence/orphan-check-weak-aliases-covering.rs b/tests/ui/coherence/orphan-check-weak-aliases-covering.rs
@@ -2,6 +2,7 @@
 
 //@ check-pass
 //@ revisions: classic next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 //@ aux-crate:foreign=parametrized-trait.rs

diff --git a/tests/ui/coinduction/canonicalization-rerun.rs b/tests/ui/coinduction/canonicalization-rerun.rs
@@ -1,5 +1,6 @@
 //@ check-pass
 //@ revisions: old next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 // If we use canonical goals during trait solving we have to reevaluate

diff --git a/tests/ui/const-generics/defaults/default-param-wf-concrete.next.stderr b/tests/ui/const-generics/defaults/default-param-wf-concrete.next.stderr
@@ -1,5 +1,5 @@
 error[E0080]: attempt to compute `u8::MAX + 1_u8`, which would overflow
-  --> $DIR/default-param-wf-concrete.rs:4:28
+  --> $DIR/default-param-wf-concrete.rs:5:28
    |
 LL | struct Foo<const N: u8 = { 255 + 1 }>;
    |                            ^^^^^^^ evaluation of `Foo::{constant#0}` failed here

diff --git a/tests/ui/const-generics/defaults/default-param-wf-concrete.old.stderr b/tests/ui/const-generics/defaults/default-param-wf-concrete.old.stderr
@@ -1,5 +1,5 @@
 error[E0080]: attempt to compute `u8::MAX + 1_u8`, which would overflow
-  --> $DIR/default-param-wf-concrete.rs:4:28
+  --> $DIR/default-param-wf-concrete.rs:5:28
    |
 LL | struct Foo<const N: u8 = { 255 + 1 }>;
    |                            ^^^^^^^ evaluation of `Foo::{constant#0}` failed here

diff --git a/tests/ui/const-generics/defaults/default-param-wf-concrete.rs b/tests/ui/const-generics/defaults/default-param-wf-concrete.rs
@@ -1,4 +1,5 @@
 //@ revisions: old next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 struct Foo<const N: u8 = { 255 + 1 }>;

diff --git a/tests/ui/const-generics/gca/ambiguous-on-failed-eval-with-vars-fail.next.stderr b/tests/ui/const-generics/gca/ambiguous-on-failed-eval-with-vars-fail.next.stderr
@@ -1,11 +1,11 @@
 error[E0284]: type annotations needed for `([(); _], [(); 10])`
-  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:33:9
+  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:34:9
    |
 LL |     let (mut arr, mut arr_with_weird_len) = free();
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ------ type must be known at this point
    |
 note: required by a const generic parameter in `free`
-  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:28:9
+  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:29:9
    |
 LL | fn free<const N: usize>() -> ([(); N], [(); gca!(FREE::<N>)]) {
    |         ^^^^^^^^^^^^^^ required by this const generic parameter in `free`
@@ -15,7 +15,7 @@ LL |     let (mut arr, mut arr_with_weird_len): ([_; N], _) = free();
    |                                          +++++++++++++
 
 error[E0271]: type mismatch resolving `FREE<10> == 2`
-  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:39:45
+  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:40:45
    |
 LL |     let (mut arr, mut arr_with_weird_len) = free();
    |                                             ^^^^^^ expected `2`, found `10`
@@ -24,14 +24,14 @@ LL |     let (mut arr, mut arr_with_weird_len) = free();
               found constant `10`
 
 error[E0284]: type annotations needed for `([(); _], [(); 10])`
-  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:50:9
+  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:51:9
    |
 LL |     let (mut arr, mut arr_with_weird_len) = proj();
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^   ------ type must be known at this point
    |
    = note: cannot satisfy `<S as Trait>::PROJ<_> == 10`
 note: required by a const generic parameter in `proj`
-  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:45:9
+  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:46:9
    |
 LL | fn proj<const N: usize>() -> ([(); N], [(); gca!(<S as Trait>::PROJ::<N>)]) {
    |         ^^^^^^^^^^^^^^ required by this const generic parameter in `proj`
@@ -41,7 +41,7 @@ LL |     let (mut arr, mut arr_with_weird_len): ([_; N], _) = proj();
    |                                          +++++++++++++
 
 error[E0271]: type mismatch resolving `<S as Trait>::PROJ<10> == 2`
-  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:56:45
+  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:57:45
    |
 LL |     let (mut arr, mut arr_with_weird_len) = proj();
    |                                             ^^^^^^ expected `2`, found `10`

diff --git a/tests/ui/const-generics/gca/ambiguous-on-failed-eval-with-vars-fail.old.stderr b/tests/ui/const-generics/gca/ambiguous-on-failed-eval-with-vars-fail.old.stderr
@@ -1,5 +1,5 @@
 error: `gca_const_items` requires -Znext-solver=globally to be enabled
-  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:9:5
+  --> $DIR/ambiguous-on-failed-eval-with-vars-fail.rs:10:5
    |
 LL |     gca_const_items,
    |     ^^^^^^^^^^^^^^^

diff --git a/tests/ui/const-generics/gca/ambiguous-on-failed-eval-with-vars-fail.rs b/tests/ui/const-generics/gca/ambiguous-on-failed-eval-with-vars-fail.rs
@@ -1,4 +1,5 @@
 //@ revisions: old next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 // (`test_free_mismatch` is quite difficult to implement in the old solver, so make sure this test
 // runs on the old solver, just in case someone attempts to implement GCA for the old solver and

diff --git a/tests/ui/consts/const-fn-variant-ctor.rs b/tests/ui/consts/const-fn-variant-ctor.rs
@@ -1,6 +1,7 @@
 //@ check-pass
 // @ needs-rustc-debug-assertions
 //@ revisions: current next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 #![feature(const_destruct, const_trait_impl)]

diff --git a/tests/ui/consts/const-len-underflow-separate-spans.next.stderr b/tests/ui/consts/const-len-underflow-separate-spans.next.stderr
@@ -1,11 +1,11 @@
 error[E0080]: attempt to compute `1_usize - 2_usize`, which would overflow
-  --> $DIR/const-len-underflow-separate-spans.rs:10:20
+  --> $DIR/const-len-underflow-separate-spans.rs:11:20
    |
 LL | const LEN: usize = ONE - TWO;
    |                    ^^^^^^^^^ evaluation of `LEN` failed here
 
 note: erroneous constant encountered
-  --> $DIR/const-len-underflow-separate-spans.rs:15:17
+  --> $DIR/const-len-underflow-separate-spans.rs:16:17
    |
 LL |     let a: [i8; LEN] = unimplemented!();
    |                 ^^^

diff --git a/tests/ui/consts/const-len-underflow-separate-spans.old.stderr b/tests/ui/consts/const-len-underflow-separate-spans.old.stderr
@@ -1,11 +1,11 @@
 error[E0080]: attempt to compute `1_usize - 2_usize`, which would overflow
-  --> $DIR/const-len-underflow-separate-spans.rs:10:20
+  --> $DIR/const-len-underflow-separate-spans.rs:11:20
    |
 LL | const LEN: usize = ONE - TWO;
    |                    ^^^^^^^^^ evaluation of `LEN` failed here
 
 note: erroneous constant encountered
-  --> $DIR/const-len-underflow-separate-spans.rs:15:17
+  --> $DIR/const-len-underflow-separate-spans.rs:16:17
    |
 LL |     let a: [i8; LEN] = unimplemented!();
    |                 ^^^

diff --git a/tests/ui/consts/const-len-underflow-separate-spans.rs b/tests/ui/consts/const-len-underflow-separate-spans.rs
@@ -3,6 +3,7 @@
 // overall context for what caused the evaluation.
 
 //@ revisions: old next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 const ONE: usize = 1;

diff --git a/tests/ui/consts/const-try.rs b/tests/ui/consts/const-try.rs
@@ -1,5 +1,6 @@
 //@ check-pass
 //@ revisions: current next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 
 // Demonstrates what's needed to make use of `?` in const contexts.

diff --git a/tests/ui/consts/trait_alias.fail.stderr b/tests/ui/consts/trait_alias.fail.stderr
@@ -1,5 +1,5 @@
 error[E0277]: the trait bound `T: [const] Baz` is not satisfied
-  --> $DIR/trait_alias.rs:24:11
+  --> $DIR/trait_alias.rs:25:11
    |
 LL |         x.baz();
    |           ^^^

diff --git a/tests/ui/consts/trait_alias.next_fail.stderr b/tests/ui/consts/trait_alias.next_fail.stderr
@@ -1,5 +1,5 @@
 error[E0277]: the trait bound `T: [const] Baz` is not satisfied
-  --> $DIR/trait_alias.rs:24:11
+  --> $DIR/trait_alias.rs:25:11
    |
 LL |         x.baz();
    |           ^^^

diff --git a/tests/ui/consts/trait_alias.rs b/tests/ui/consts/trait_alias.rs
@@ -1,5 +1,6 @@
 #![feature(trait_alias, const_trait_impl)]
 //@ revisions: next_pass next_fail pass fail
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next_pass] compile-flags: -Znext-solver
 //@[next_fail] compile-flags: -Znext-solver
 //@[next_pass] check-pass

diff --git a/tests/ui/coroutine/copy-fast-path-query-cycle.rs b/tests/ui/coroutine/copy-fast-path-query-cycle.rs
@@ -1,5 +1,6 @@
 //@ edition: 2024
 //@ revisions: current next
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@[next] compile-flags: -Znext-solver
 //@ check-pass
 

diff --git a/tests/ui/coroutine/gen_block_is_fused_iter.rs b/tests/ui/coroutine/gen_block_is_fused_iter.rs
@@ -1,4 +1,5 @@
 //@ revisions: next old
+//@ ignore-compare-mode-next-solver (explicit revisions)
 //@ edition: 2024
 //@[next] compile-flags: -Znext-solver
 //@ check-pass