SILGen: Emit calls to default argument generators at the right abstraction level

Fixes rdar://problem/90717725 / https://bugs.swift.org/browse/SR-16051.

Author: slavapestov

lib/SILGen/SILGenApply.cpp

@@ -3438,8 +3438,7 @@ void DelayedArgument::emitDefaultArgument(SILGenFunction &SGF,
   auto value = SGF.emitApplyOfDefaultArgGenerator(info.loc,
                                                   info.defaultArgsOwner,
                                                   info.destIndex,
-                                                  info.resultType,
-                                                  info.origResultType);
+                                                  info.resultType);
 
   SmallVector<ManagedValue, 4> loweredArgs;
   SmallVector<DelayedArgument, 4> delayedArgs;

lib/SILGen/SILGenExpr.cpp

@@ -2340,11 +2340,10 @@ RValue RValueEmitter::visitTupleElementExpr(TupleElementExpr *E,
 
 RValue
 SILGenFunction::emitApplyOfDefaultArgGenerator(SILLocation loc,
-                                             ConcreteDeclRef defaultArgsOwner,
-                                             unsigned destIndex,
-                                             CanType resultType,
-                                             AbstractionPattern origResultType,
-                                             SGFContext C) {
+                                               ConcreteDeclRef defaultArgsOwner,
+                                               unsigned destIndex,
+                                               CanType resultType,
+                                               SGFContext C) {
   SILDeclRef generator 
     = SILDeclRef::getDefaultArgGenerator(defaultArgsOwner.getDecl(),
                                          destIndex);
@@ -2356,6 +2355,11 @@ SILGenFunction::emitApplyOfDefaultArgGenerator(SILLocation loc,
   if (fnType->isPolymorphic())
     subs = defaultArgsOwner.getSubstitutions();
 
+  auto constantInfo = SGM.Types.getConstantInfo(
+      TypeExpansionContext::minimal(), generator);
+  AbstractionPattern origResultType =
+      constantInfo.FormalPattern.getFunctionResultType();
+
   auto substFnType =
       fnType->substGenericArgs(SGM.M, subs, getTypeExpansionContext());
 

lib/SILGen/SILGenFunction.h

@@ -1678,7 +1678,6 @@ class LLVM_LIBRARY_VISIBILITY SILGenFunction
                                         ConcreteDeclRef defaultArgsOwner,
                                         unsigned destIndex,
                                         CanType resultType,
-                                        AbstractionPattern origResultType,
                                         SGFContext C = SGFContext());
 
   RValue emitApplyOfStoredPropertyInitializer(

test/SILGen/default_arguments_concrete.swift

@@ -0,0 +1,17 @@
+// RUN: %target-swift-emit-silgen %s
+
+func calleeWithEmptyTuple<A>(_: A = ()) {}
+func calleeWithLoadable<A>(_: A = 3) {}
+func calleeWithAddressOnly<A>(_: A = (3 as Any)) {}
+func calleeWithTupleOfLoadable<A>(_: A = (3, 4)) {}
+func calleeWithTupleOfAddressOnly<A>(_: A = (3 as Any, 4 as Any)) {}
+func calleeWithTupleOfMixed<A>(_: A = (3, 4 as Any)) {}
+
+func testConcreteDefaultArguments() {
+  calleeWithEmptyTuple()
+  calleeWithLoadable()
+  calleeWithAddressOnly()
+  calleeWithTupleOfLoadable()
+  calleeWithTupleOfAddressOnly()
+  calleeWithTupleOfMixed()
+}