Merge pull request swiftlang#79489 from slavapestov/fix-rdar145092838

Sema: Don't record constraints containing UnboundGenericType from shrink()

Author: slavapestov

lib/Sema/CSSolver.cpp

@@ -858,9 +858,10 @@ bool ConstraintSystem::Candidate::solve(
     auto constraintKind = ConstraintKind::Conversion;
     if (CTP == CTP_CallArgument)
       constraintKind = ConstraintKind::ArgumentConversion;
-
-    cs.addConstraint(constraintKind, cs.getType(E), CT,
-                     cs.getConstraintLocator(E), /*isFavored=*/true);
+    if (!CT->hasUnboundGenericType()) {
+      cs.addConstraint(constraintKind, cs.getType(E), CT,
+                       cs.getConstraintLocator(E), /*isFavored=*/true);
+    }
   }
 
   // Try to solve the system and record all available solutions.

test/Constraints/rdar145092838.swift

@@ -0,0 +1,5 @@
+// RUN: %target-typecheck-verify-swift
+
+func f(a: Array<Int>, n: Int) {
+  let _: Array = a.prefix(n) + a.suffix(a.count - n - 1)
+}