Skip to content

Commit 59b1f11

Browse files
committed
SILGen: Fix a spot where we passed in the wrong conformances
The conforming type didn't match the conformances, which is going to be flagged by SubstitutionMap::verify().
1 parent 3b5c2a1 commit 59b1f11

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

lib/SILGen/ResultPlan.cpp

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -772,6 +772,9 @@ class ForeignAsyncInitializationPlan final : public ResultPlan {
772772
auto createIntrinsic =
773773
throws ? SGF.SGM.getCreateCheckedThrowingContinuation()
774774
: SGF.SGM.getCreateCheckedContinuation();
775+
auto conformances =
776+
collectExistentialConformances(calleeTypeInfo.substResultType,
777+
ctx.TheAnyType);
775778
auto subs =
776779
SubstitutionMap::get(createIntrinsic->getGenericSignature(),
777780
{calleeTypeInfo.substResultType}, conformances);

0 commit comments

Comments
 (0)