Commit Graph

102 Commits

Author SHA1 Message Date
Doug Gregor
9b166c1fde Check ConcurrentValue on @concurrent functions and function types 2021-02-03 23:08:08 -08:00
Doug Gregor
866a8d8944 Introduce checking for ConcurrentValue conformance across actors.
When referring to an actor-isolated declaration from outside of the
actor, ensure that the types involved conform to the `ConcurrentValue`
protocol. Otherwise, produce a diagnostic stating that it is unsafe to
pass such types across actors.

Apply the same rule to local captures within concurrent code.
2021-02-03 17:37:43 -08:00