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

[CSApply] Produce an abstract conformance for Res parameter of DistributedActorSystem.remoteCall witness

Browse Source
This commit is contained in:
Pavel Yaskevich
2024-02-07 10:21:03 -08:00
parent f7e01fba39
commit 6afa7328d9
1 changed files with 20 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
lib/Sema/CSApply.cpp
View File

@@ -105,6 +105,7 @@ Solution::computeSubstitutions(NullablePtr<ValueDecl> decl,
subs[opened.first] = type;
}
auto *DC = constraintSystem->DC;
auto lookupConformanceFn =
[&](CanType original, Type replacement,
ProtocolDecl *protoType) -> ProtocolConformanceRef {
@@ -115,8 +116,25 @@ Solution::computeSubstitutions(NullablePtr<ValueDecl> decl,
}
// FIXME: Retrieve the conformance from the solution itself.
return getConstraintSystem().DC->getParentModule()->lookupConformance(
replacement, protoType, /*allowMissing=*/true);
auto conformance =
getConstraintSystem().DC->getParentModule()->lookupConformance(
replacement, protoType, /*allowMissing=*/true);
if (conformance.isInvalid()) {
if (auto *funcDecl = dyn_cast<FuncDecl>(decl.getPtrOrNull())) {
if (funcDecl->isDistributedActorSystemRemoteCall(
/*isVoidResult=*/false)) {
// `Res` conformances would be looked by at runtime but are
// guaranteed to be there by Sema because all distributed
// methods and accessors are checked to conform to
// `SerializationRequirement` of `DistributedActorSystem`.
if (original->isEqual(funcDecl->getResultInterfaceType()))
return ProtocolConformanceRef(protoType);
}
}
}
return conformance;
};
return SubstitutionMap::get(sig,