Show that a test fails on the new solver, too

Author: oli-obk

tests/ui/auto-traits/opaque_type_candidate_selection.next.stderr

@@ -0,0 +1,19 @@
+error[E0119]: conflicting implementations of trait `Trait<_>`
+  --> $DIR/opaque_type_candidate_selection.rs:28:1
+   |
+LL | impl<T> Trait<T> for T {
+   | ---------------------- first implementation here
+...
+LL | impl<T> Trait<T> for defining_scope::Alias<T> {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation
+
+error[E0282]: type annotations needed
+  --> $DIR/opaque_type_candidate_selection.rs:11:20
+   |
+LL |     pub fn cast<T>(x: Container<Alias<T>, T>) -> Container<T, T> {
+   |                    ^ cannot infer type
+
+error: aborting due to 2 previous errors
+
+Some errors have detailed explanations: E0119, E0282.
+For more information about an error, try `rustc --explain E0119`.

tests/ui/auto-traits/opaque_type_candidate_selection.stderr tests/ui/auto-traits/opaque_type_candidate_selection.old.stderr

@@ -1,12 +1,12 @@
 error[E0284]: type annotations needed
-  --> $DIR/opaque_type_candidate_selection.rs:8:20
+  --> $DIR/opaque_type_candidate_selection.rs:11:20
    |
 LL |     pub fn cast<T>(x: Container<Alias<T>, T>) -> Container<T, T> {
    |                    ^ cannot infer type
    |
    = note: cannot satisfy `<Alias<T> as Trait<T>>::Assoc == _`
 note: required because it appears within the type `Container<Alias<T>, T>`
-  --> $DIR/opaque_type_candidate_selection.rs:14:8
+  --> $DIR/opaque_type_candidate_selection.rs:17:8
    |
 LL | struct Container<T: Trait<U>, U> {
    |        ^^^^^^^^^

tests/ui/auto-traits/opaque_type_candidate_selection.rs

@@ -1,3 +1,6 @@
+//@revisions: old next
+//@[next] compile-flags: -Znext-solver
+
 //! used to ICE: #119272
 
 #![feature(type_alias_impl_trait)]
@@ -23,6 +26,7 @@ impl<T> Trait<T> for T {
     type Assoc = Box<u32>;
 }
 impl<T> Trait<T> for defining_scope::Alias<T> {
+    //[next]~^ ERROR conflicting implementations of trait
     type Assoc = usize;
 }