Clarify that a Sendable value always satisfies transferring.

hborla · hborla · commit 5f76bababaa3 · 2024-02-23T13:44:14.000-08:00
diff --git a/proposals/NNNN-transferring-parameters-and-results.md b/proposals/NNNN-transferring-parameters-and-results.md
@@ -208,6 +208,10 @@ nonisolated func f(s: S) async {
 }
 ```
 
+A `Sendable` value always satisfies the requirements of `transferring` because
+`Sendable` values are always safe to pass over isolation boundaries, and thus
+not included in region analysis.
+
 ### Function subtyping
 
 For a given type `T`, `transferring T` is a subtype of `T`. `transferring` is

Original file line number	Diff line number	Diff line change
`@@ -208,6 +208,10 @@ nonisolated func f(s: S) async {`
`208`	`208`	`}`
`209`	`209`	```
`210`	`210`
	`211`	+A `Sendable` value always satisfies the requirements of `transferring` because
	`212`	+`Sendable` values are always safe to pass over isolation boundaries, and thus
	`213`	`+not included in region analysis.`
	`214`	`+`
`211`	`215`	`### Function subtyping`
`212`	`216`
`213`	`217`	For a given type `T`, `transferring T` is a subtype of `T`. `transferring` is