Split yields test that give different results

rust-lang · Dec 24, 2021 · 0661e83 · 0661e83
1 parent c4dd74b
commit 0661e83
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/tests/test/misc.rs b/tests/test/misc.rs
@@ -771,8 +771,10 @@ fn ambiguous_unification_in_fn() {
             exists<int T, U> {
                 MyClosure<fn(&'static U) -> ()>: FnOnce<(&'static T,)>
             }
-        } yields {
+        } yields[SolverChoice::slg_default()] {
             expect![[r#"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![[r#"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 {
+        } yields[SolverChoice::slg_default()] {
             expect![[r#"Ambiguous; definite substitution for<?U0,?U0> { [?0 := (&'^0.0 ^0.1)] }"#]]
+        } yields[SolverChoice::recursive_default()] {
+            expect![[r#"Ambiguous; no inference guidance"#]]
         }
     }
 }