Merge pull request #67894 from atrick/revert-onstack-check

Revert "Verify that on-stack closures do not take owned arguments"

Author: swift-ci

include/swift/SIL/ApplySite.h

@@ -390,9 +390,6 @@ class ApplySite {
     case SILArgumentConvention::Pack_Inout:
       return conv;
     case SILArgumentConvention::Direct_Owned:
-      assert(!pai->isOnStack() &&
-             "on-stack closures do not support owned arguments");
-      return conv;
     case SILArgumentConvention::Direct_Unowned:
     case SILArgumentConvention::Direct_Guaranteed:
       return pai->isOnStack() ? SILArgumentConvention::Direct_Guaranteed

lib/SIL/Verifier/SILVerifier.cpp

@@ -1956,11 +1956,6 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
     unsigned appliedArgStartIdx =
         substConv.getNumSILArguments() - PAI->getNumArguments();
     for (auto p : llvm::enumerate(PAI->getArguments())) {
-      if (PAI->isOnStack()) {
-        require(
-          substConv.getSILArgumentConvention(appliedArgStartIdx + p.index()),
-          "on-stack closures do not support owned arguments");
-      }
       requireSameType(
           p.value()->getType(),
           substConv.getSILArgumentType(appliedArgStartIdx + p.index(),