[Tests] Fix failing tests.

Author: Amritpan Kaur

test/Concurrency/async_overload_filtering.swift

@@ -18,7 +18,7 @@ var a: String? = nil
 
 // CHECK: attempting disjunction choice $T0 bound to decl async_overload_filtering.(file).filter_async(fn2:)
 // CHECK-NEXT: overload set choice binding $T0 := {{.*}}
-// CHECK-NEXT: increasing score due to sync-in-asynchronous
+// CHECK-NEXT: increasing 'sync-in-asynchronous' score by 1
 // CHECK-NEXT: solution is worse than the best solution
 filter_async {
   Obj()

test/Constraints/interpolation_segments.swift

@@ -13,9 +13,9 @@
 // We also check that the type checker did not need to evaluate any 
 // DefaultStringInterpolation overloads in the initial expression.
 
-// CHECK-NOT: ---Solution---
+// CHECK-NOT: Constraint restrictions:
+// CHECK: --- Solution #{{.*}}---
 // CHECK: Overload choices:
-// CHECK-NOT: Swift.(file).DefaultStringInterpolation.append
-// CHECK: Constraint restrictions:
+// CHECK: Swift.(file).DefaultStringInterpolation.append
 
 _ = "\(1), \(2), \(3), \(4)"

test/Constraints/one_way_solve.swift

@@ -38,9 +38,9 @@ func testTernaryOneWayOverload(b: Bool) {
 
   // CHECK: solving component #1
   // CHECK: Initial bindings: $T11 := Int8
-  // CHECK: found solution {{.*}} 2 0 0 0 0 0
+  // CHECK: (found solution: [non-default literal(s) = 2] [use of overloaded unapplied function(s) = 2])
 
-  // CHECK: composed solution {{.*}} 2 0 0 0 0 0
-  // CHECK-NOT: composed solution {{.*}} 2 0 0 0 0 0
+  // CHECK: (composed solution: [non-default literal(s) = 2] [use of overloaded unapplied function(s) = 2])
+  // CHECK-NOT: (composed solution: [non-default literal(s) = 2] [use of overloaded unapplied function(s) = 2])
   let _: Int8 = b ? Builtin.one_way(int8Or16(17)) : Builtin.one_way(int8Or16(42))
 }