Skip to content

Commit 5ddf8fc

Browse files
committed
[SE-430] Disallow borrowing sending
1 parent 8b38f17 commit 5ddf8fc

File tree

1 file changed

+1
-7
lines changed

1 file changed

+1
-7
lines changed

proposals/0430-transferring-parameters-and-results.md

+1-7
Original file line numberDiff line numberDiff line change
@@ -390,18 +390,12 @@ the callee. Unlike `consuming` parameters, `sending` parameters do not
390390
have no-implicit-copying semantics.
391391

392392
To opt into no-implicit-copying semantics or to change the default ownership
393-
convention, `sending` may also be paired with an explicit `consuming` or
394-
`borrowing` ownership modifier:
393+
convention, `sending` may also be paired with an explicit `consuming` ownership modifier:
395394

396395
```swift
397396
func sendingConsuming(_ x: consuming sending T) { ... }
398-
func sendingBorrowing(_ x: borrowing sending T) { ... }
399397
```
400398

401-
Note that an explicit `borrowing` annotation always implies no-implicit-copying,
402-
so there is no way to change the default ownership convention of a
403-
`sending` parameter without also opting into no-implicit-copying semantics.
404-
405399
### Adoption in the Concurrency library
406400

407401
There are several APIs in the concurrency library that send a parameter across

0 commit comments

Comments
 (0)