[Concurrency] Actor-isolated members cannot satisfy protocol requirements.

Enforce the actor-isolation constraint that an actor-isolated member
(e.g., a non-async instance method or an instance property) cannot be
used to conform to a protocol requirement.
This commit is contained in:
Doug Gregor
2020-09-17 13:36:57 -07:00
parent 075e7d4b5f
commit cb6429530c
10 changed files with 169 additions and 43 deletions

View File

@@ -17,6 +17,7 @@
#include "MiscDiagnostics.h"
#include "ConstraintSystem.h"
#include "TypeCheckAvailability.h"
#include "TypeCheckConcurrency.h"
#include "TypeChecker.h"
#include "swift/AST/ASTWalker.h"
#include "swift/AST/NameLookup.h"