Merge pull request #74525 from jckarter/sil-function-type-typed-throws-substitution

Include error type when considering whether a SILFunctionType needs its substitutions.

Author: jckarter

lib/SIL/IR/SILBuilder.cpp

@@ -103,6 +103,10 @@ SILType SILBuilder::getPartialApplyResultType(
   for (auto yield : FTI->getYields()) {
     needsSubstFunctionType |= yield.getInterfaceType()->hasTypeParameter();
   }
+  if (FTI->hasErrorResult()) {
+    needsSubstFunctionType
+      |= FTI->getErrorResult().getInterfaceType()->hasTypeParameter();
+  }
 
   SubstitutionMap appliedSubs;
   if (needsSubstFunctionType) {

test/SILGen/error_type_substitution.swift

@@ -0,0 +1,13 @@
+// RUN: %target-swift-emit-silgen -verify %s
+
+func consume_a_pointer(x: inout Int) { }
+
+func func_that_rethrows<E: Error>(initializingWith callback: () throws(E) -> Void) throws(E) {
+}
+
+public func foo() {
+  var pk = 42
+  func_that_rethrows() {
+    consume_a_pointer(x: &pk)
+  }
+}