Merge remote-tracking branch 'origin/master' into master-next

Author: swift-ci

lib/SILOptimizer/Transforms/OwnershipModelEliminator.cpp

@@ -382,6 +382,9 @@ struct OwnershipModelEliminator : SILModuleTransform {
       if (SkipTransparent && F.isTransparent())
         continue;
 
+      // Verify here to make sure ownership is correct before we strip.
+      F.verify();
+
       if (stripOwnership(F)) {
         auto InvalidKind =
             SILAnalysis::InvalidationKind::BranchesAndInstructions;