Codable, SwiftConcurrency, Swift 6 - Fundamentally incompatible?

mattie · July 20, 2024, 2:30pm

The sending keyword is available in Swift 6 and it is great!

swiftlang/swift-evolution/blob/main/proposals/0430-transferring-parameters-and-results.md

# `sending` parameter and result values

* Proposal: [SE-0430](0430-transferring-parameters-and-results.md)
* Authors: [Michael Gottesman](https://github.com/gottesmm), [Holly Borla](https://github.com/hborla), [John McCall](https://github.com/rjmccall)
* Review Manager: [Becca Royal-Gordon](https://github.com/beccadax)
* Status: **Active Review (June 21 ... 28, 2024)** 
* Implementation: Implemented in Swift 6.0 except for amendment under review
* Previous Proposal: [SE-0414: Region-based isolation](/proposals/0414-region-based-isolation.md)
* Previous Revisions: [1](https://github.com/apple/swift-evolution/blob/87943205551af43682ef50260816f3ff2ef9b7ea/proposals/0430-transferring-parameters-and-results.md) [2](https://github.com/apple/swift-evolution/blob/4dded8ed382b526a5a301c225a1d45018f8d556b/proposals/0430-transferring-parameters-and-results.md)
* Review: ([pitch](https://forums.swift.org/t/pitch-transferring-isolation-regions-of-parameter-and-result-values/70240)) ([first review](https://forums.swift.org/t/se-0430-transferring-isolation-regions-of-parameter-and-result-values/70830)) ([returned for revision](https://forums.swift.org/t/returned-for-revision-se-0430-transferring-isolation-regions-of-parameter-and-result-values/71297)) ([second review](https://forums.swift.org/t/se-0430-second-review-sendable-parameter-and-result-values/71685)) ([acceptance with modifications](https://forums.swift.org/t/accepted-with-modifications-se-0430-second-review-sendable-parameter-and-result-values/71850)) ([amendment pitch](https://forums.swift.org/t/pitch-revise-se-0430-to-adopt-sending-on-unsafecontinuation/72289)) ([amendment review](https://forums.swift.org/t/amendment-se-0430-sending-parameter-and-result-values/72653))


## Introduction

This proposal extends region isolation to enable the application of an explicit
`sending` annotation to function parameters and results. A function parameter
or result that is annotated with `sending` is required to be disconnected at
the function boundary and thus possesses the capability of being safely sent
across an isolation domain or merged into an actor-isolated region in the
function's body or the function's caller respectively.

This file has been truncated. show original