Rebase fallout

oli-obk · oli-obk · commit 04f53f96d837 · 2024-06-13T08:56:44.000Z
diff --git a/tests/ui/type-alias-impl-trait/issue-84660-unsoundness.rs b/tests/ui/type-alias-impl-trait/issue-84660-unsoundness.rs
@@ -20,7 +20,7 @@ trait Trait<T, In> {
 impl<In, Out> Trait<Bar, In> for Out {
     type Out = Out;
     fn convert(_i: In) -> Self::Out {
-        //[next]~^  ERROR: cannot satisfy `Bar == _`
+        //[next]~^  ERROR: cannot satisfy `<Out as Trait<Bar, In>>::Out == ()`
         unreachable!();
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,7 @@ trait Trait<T, In> {`
`20`	`20`	`impl<In, Out> Trait<Bar, In> for Out {`
`21`	`21`	`type Out = Out;`
`22`	`22`	`fn convert(_i: In) -> Self::Out {`
`23`		- //[next]~^ ERROR: cannot satisfy `Bar == _`
	`23`	+ //[next]~^ ERROR: cannot satisfy `<Out as Trait<Bar, In>>::Out == ()`
`24`	`24`	`unreachable!();`
`25`	`25`	`}`
`26`	`26`	`}`