Merge pull request #68400 from slavapestov/fix-rdar114823719-5.9

SILGen: Use the right abstraction pattern when loading 'async let' result [5.9]

Author: slavapestov

lib/SILGen/SILGenApply.cpp

@@ -7015,11 +7015,10 @@ ManagedValue SILGenFunction::emitReadAsyncLetBinding(SILLocation loc,
   assert(visitor.varAddr && "didn't find var in pattern?");
 
   // Load and reabstract the value if needed.
-  auto genericSig = F.getLoweredFunctionType()->getInvocationGenericSignature();
-  auto substVarTy = var->getType()->getReducedType(genericSig);
-  auto substAbstraction = AbstractionPattern(genericSig, substVarTy);
-  return emitLoad(loc, visitor.varAddr, substAbstraction, substVarTy,
-                  getTypeLowering(substAbstraction, substVarTy),
+  auto substVarTy = var->getType()->getCanonicalType();
+  return emitLoad(loc, visitor.varAddr,
+                  AbstractionPattern::getOpaque(), substVarTy,
+                  getTypeLowering(substVarTy),
                   SGFContext(), IsNotTake);
 }
 

test/SILGen/async_let_reabstraction.swift

@@ -0,0 +1,12 @@
+// RUN: %target-swift-frontend -emit-silgen %s -disable-availability-checking
+// REQUIRES: concurrency
+
+public func callee() async -> (() -> ()) {
+    fatalError()
+}
+
+public func caller() async {
+  async let future = callee()
+  let result = await future
+  result()
+}