Merge pull request swiftlang#25703 from gottesmm/pr-9ce7ee5ae4fd57ea34dec6d0684787ff04fcf634

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;