Merge pull request swiftlang#39531 from jckarter/argument-reabstraction-ownership

SILGen: Ensure +1 before reabstracting closure BB args.

Author: jckarter

lib/SILGen/SILGenProlog.cpp

@@ -106,9 +106,9 @@ class EmitBBArguments : public CanTypeVisitor<EmitBBArguments,
       argType = argType.getObjectType();
     }
 
-    if (argType != paramType) {
+    if (argType.getASTType() != paramType.getASTType()) {
       // Reabstract the value if necessary.
-      mv = SGF.emitOrigToSubstValue(loc, mv, orig, t);
+      mv = SGF.emitOrigToSubstValue(loc, mv.ensurePlusOne(SGF, loc), orig, t);
     }
 
     // If the value is a (possibly optional) ObjC block passed into the entry

test/SILGen/closure_literal_reabstraction_tuple_ownership.swift

@@ -0,0 +1,11 @@
+// RUN: %target-swift-emit-silgen -verify %s
+
+// rdar://83186202
+
+struct Butt {
+    var foo: [Int: (Int, String, (Error?) -> Void)]
+
+    func bar() {
+        _ = foo.lazy.compactMap { $0.value.0 }
+    }
+}