[Sema/IRGen] Extend ad-hoc requirement handling to DistributedTargetInvocationResultHandler.onReturn

This commit is contained in:
Pavel Yaskevich
2024-02-08 10:34:19 -08:00
parent 4d45701046
commit 6c7000ae0b
3 changed files with 14 additions and 10 deletions

View File

@@ -8600,9 +8600,12 @@ ConstraintSystem::SolutionKind ConstraintSystem::simplifyConformsToConstraint(
// `DistributedTargetInvocationEncoder.record{Argument, ResultType}`
// `DistributedTargetInvocationDecoder.decodeNextArgument`
// `DistributedTargetInvocationResultHandler.onReturn`
if (witness->isDistributedTargetInvocationEncoderRecordArgument() ||
witness->isDistributedTargetInvocationEncoderRecordReturnType() ||
witness->isDistributedTargetInvocationDecoderDecodeNextArgument()) {
witness
->isDistributedTargetInvocationDecoderDecodeNextArgument() ||
witness->isDistributedTargetInvocationResultHandlerOnReturn()) {
auto genericParams = witness->getGenericParams()->getParams();
if (GP->isEqual(genericParams.front()->getDeclaredInterfaceType()))
return synthesizeConformance();