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

Treat references to enum cases with associated values as @Sendable functions

Browse Source 
When `InferSendableFromCaptures`, make sure to treat references to enum
cases that have associated values as `@Sendable` functions.
This commit is contained in:
Doug Gregor
2024-06-12 14:54:09 -07:00
parent 9c868f8454
commit c65264738b
2 changed files with 23 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
lib/Sema/ConstraintSystem.cpp
View File

@@ -1747,8 +1747,16 @@ FunctionType *ConstraintSystem::adjustFunctionTypeForConcurrency(
});
if (Context.LangOpts.hasFeature(Feature::InferSendableFromCaptures)) {
DeclContext *DC = nullptr;
if (auto *FD = dyn_cast<AbstractFunctionDecl>(decl)) {
auto *DC = FD->getDeclContext();
DC = FD->getDeclContext();
} else if (auto EED = dyn_cast<EnumElementDecl>(decl)) {
if (EED->hasAssociatedValues()) {
DC = EED->getDeclContext();
}
}
if (DC) {
// All global functions should be @Sendable
if (DC->isModuleScopeContext()) {
if (!adjustedTy->getExtInfo().isSendable()) {