implement parsing for effects specifiers on 'get' accessors

An effectful 'get' accessor must be the only accessor for the
property.
This commit is contained in:
Kavon Farvardin
2021-03-12 16:48:47 -08:00
parent 58f03e8490
commit f9452b23f4
15 changed files with 226 additions and 39 deletions

View File

@@ -3157,7 +3157,8 @@ public:
decls_block::AccessorLayout::readRecord(scratch, contextID, isImplicit,
isStatic, rawStaticSpelling, isObjC,
rawMutModifier,
hasForcedStaticDispatch, throws,
hasForcedStaticDispatch,
async, throws,
genericSigID,
resultInterfaceTypeID,
isIUO,
@@ -3275,7 +3276,7 @@ public:
} else {
auto *accessor = AccessorDecl::createDeserialized(
ctx, accessorKind, storage, staticSpelling.getValue(),
/*Throws=*/throws, genericParams, resultType, DC);
async, throws, genericParams, resultType, DC);
accessor->setIsTransparent(isTransparent);
fn = accessor;