Merge pull request #41558 from atrick/borrow-uses-assert

Add asserts to CanonicalizeBorrowScope::visitBorrowScopeUses

Author: swift-ci

lib/SILOptimizer/Utils/CanonicalizeBorrowScope.cpp

@@ -269,15 +269,18 @@ bool CanonicalizeBorrowScope::visitBorrowScopeUses(SILValue innerValue,
           return false;
         }
         if (!visitor.visitUse(use)) {
+          assert(!isa<SILFunctionArgument>(borrowedValue.value));
           return false;
         }
         break;
 
       case OperandOwnership::ForwardingBorrow:
       case OperandOwnership::ForwardingConsume:
         if (CanonicalizeBorrowScope::isRewritableOSSAForward(user)) {
-          if (!visitor.visitForwardingUse(use))
+          if (!visitor.visitForwardingUse(use)) {
+            assert(!isa<SILFunctionArgument>(borrowedValue.value));
             return false;
+          }
           break;
         }
         LLVM_FALLTHROUGH;
@@ -287,8 +290,10 @@ bool CanonicalizeBorrowScope::visitBorrowScopeUses(SILValue innerValue,
       case OperandOwnership::UnownedInstantaneousUse:
       case OperandOwnership::BitwiseEscape:
       case OperandOwnership::DestroyingConsume:
-        if (!visitor.visitUse(use))
+        if (!visitor.visitUse(use)) {
+          assert(!isa<SILFunctionArgument>(borrowedValue.value));
           return false;
+        }
         break;
       } // end switch OperandOwnership
     }