averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

[Sema/IRGen] Extend ad-hoc requirement handling to DistributedTargetInvocationEncoder.record{Argument, ReturnType}

Browse Source
This commit is contained in:
Pavel Yaskevich
2024-02-07 15:35:27 -08:00
parent 0db22316a2
commit 4f32111bf8
3 changed files with 61 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
lib/Sema/CSSimplify.cpp
View File

@@ -8591,9 +8591,20 @@ ConstraintSystem::SolutionKind ConstraintSystem::simplifyConformsToConstraint(
return recordConformance(synthesized);
};
if (witness->isDistributedActorSystemRemoteCall(/*isVoidReturn=*/false)) {
if (GP->isEqual(cast<FuncDecl>(witness)->getResultInterfaceType()))
return synthesizeConformance();
if (witness->isGeneric()) {
// `DistributedActorSystem.remoteCall`
if (witness->isDistributedActorSystemRemoteCall(/*isVoidReturn=*/false)) {
if (GP->isEqual(cast<FuncDecl>(witness)->getResultInterfaceType()))
return synthesizeConformance();
}
// `DistributedTargetInvocationEncoder.record{Argument, ResultType}`
if (witness->isDistributedTargetInvocationEncoderRecordArgument() ||
witness->isDistributedTargetInvocationEncoderRecordReturnType()) {
auto genericParams = witness->getGenericParams()->getParams();
if (GP->isEqual(genericParams.front()->getDeclaredInterfaceType()))
return synthesizeConformance();
}
}
}
}