Address comments

Signed-off-by: Zahari Dichev <[email protected]>

Author: zaharidichev

tests/test/projection.rs

@@ -712,8 +712,8 @@ fn rust_analyzer_regression() {
                     PI: ParallelIterator
                 }
             }
-        } yields_all[SolverChoice::slg(5, None)] {
-            "substitution [], lifetime constraints []"
+        } yields_first[SolverChoice::slg(4, None)] {
+            "Floundered"
         }
     }
 }