fix tests

I inspected the results, seems good

tests/test/misc.rs

@@ -749,7 +749,7 @@ fn empty_definite_guidance() {
         } yields[SolverChoice::slg_default()] {
             expect![["Unique"]]
         } yields[SolverChoice::recursive_default()] {
-            expect![["Ambiguous; suggested substitution []"]]
+            expect![[r#"Unique"#]]
         }
     }
 }
@@ -812,8 +812,10 @@ fn env_bound_vars() {
                     WellFormed(&'a ())
                 }
             }
-        } yields {
+        } yields[SolverChoice::slg_default()] {
             expect![["Ambiguous; definite substitution for<?U0> { [?0 := '^0.0] }"]]
+        } yields[SolverChoice::recursive_default()] {
+            expect![[r#"Unique; for<?U0> { substitution [?0 := '^0.0] }"#]]
         }
         goal {
             exists<'a> {
@@ -841,7 +843,7 @@ fn recursive_hang() {
         } yields[SolverChoice::slg_default()] {
             expect![["Ambiguous; definite substitution for<?U0,?U0> { [?0 := ^0.0, ?1 := '^0.1] }"]]
         } yields[SolverChoice::recursive_default()] {
-            expect![["Ambiguous; suggested substitution for<?U0,?U0> { [?0 := ^0.0, ?1 := '^0.1] }"]]
+            expect![[r#"Ambiguous; no inference guidance"#]]
         }
     }
 }

tests/test/mod.rs

@@ -394,11 +394,11 @@ fn solve_aggregated(
         .expect("Test requires at least one solver");
     for (i, other) in tail.iter().enumerate() {
         println!(
-            "\ncomparing solvers:\n\tleft: {:?}\n\tright: {:?}\n",
+            "\ncomparing solvers:\n\texpected: {:?}\n\tactual: {:?}\n",
             &choices[0],
             &choices[i + 1]
         );
-        assert_same(head, other);
+        assert_same(other, head);
     }
 
     expected.assert_eq(head);