Merge pull request swiftlang#77332 from xedin/inout-regression-after-delay

[CSBindings] Don't delay bindings inferred through `inout` conversion

Author: xedin

lib/Sema/CSBindings.cpp

@@ -1518,11 +1518,6 @@ PotentialBindings::inferFromRelational(Constraint *constraint) {
       if (auto pointeeTy = second->lookThroughAllOptionalTypes()
                                ->getAnyPointerElementType()) {
         if (!pointeeTy->isTypeVariableOrMember()) {
-          // The binding is as a fallback in this case because $T could
-          // also be Array<X> or C-style pointer.
-          if (constraint->getKind() >= ConstraintKind::ArgumentConversion)
-            DelayedBy.push_back(constraint);
-
           return PotentialBinding(pointeeTy, AllowedBindingKind::Exact,
                                   constraint);
         }

test/Constraints/valid_pointer_conversions.swift

@@ -69,3 +69,22 @@ do {
     test(&outputs[name]!) // Ok
   }
 }
+
+do {
+  func test<O>(_ initialValue: O, _ action: (inout O) -> Void) -> O {
+  }
+
+  func compute(_: UnsafeMutablePointer<UInt8>!) {
+  }
+
+  let result1 = test(0) { // `0` should be inferred as `UInt8`
+    compute(&$0)
+  }
+
+  let result2 = test([0]) { // `0` should be inferred as `UInt8`
+      compute(&$0)
+  }
+
+  let _: UInt8 = result1 // Ok
+  let _: [UInt8] = result2 // Ok
+}