Split yields tests whose results differ between solvers

rust-lang · Dec 24, 2021 · a9b0371 · a9b0371
1 parent 73ce746
commit a9b0371
Showing 2 changed files with 8 additions and 4 deletions.
diff --git a/tests/test/misc.rs b/tests/test/misc.rs
@@ -774,8 +774,10 @@ fn ambiguous_unification_in_fn() {
             exists<int T, U> {
                 MyClosure<fn(&'static U) -> ()>: FnOnce<(&'static T,)>
             }
-        } yields {
-            expect![["Unique"]]
+        } yields[SolverChoice::slg_default()] {
+            expect![["Unique; for<?U0> { substitution [?0 := ^0.0, ?1 := ^0.0], lifetime constraints [InEnvironment { environment: Env([]), goal: 'static: 'static }, InEnvironment { environment: Env([]), goal: 'static: 'static }] }"]]
+        } yields[SolverChoice::recursive_default()] {
+            expect![["Unique; for<?U0> { substitution [?0 := ^0.0, ?1 := ^0.0], lifetime constraints [InEnvironment { environment: Env([]), goal: 'static: 'static }] }"]]
         }
     }
 }

diff --git a/tests/test/numerics.rs b/tests/test/numerics.rs
@@ -260,8 +260,10 @@ fn shl_ice() {
             exists<U> {
                 u32: Shl<U>
             }
-        } yields {
-            expect![["Ambiguous"]]
+        } yields[SolverChoice::slg_default()] {
+            expect![["Ambiguous; definite substitution for<?U0,?U0> { [?0 := (&'^0.0 ^0.1)] }"]]
+        } yields[SolverChoice::recursive_default()] {
+            expect![["Ambiguous; no inference guidance"]]
         }
     }
 }