channel.release¶
Retire one consuming obligation after its payload uses. Reuse also requires retirement of every other reader or transfer obligation.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | — |
| Traits | MemoryFence |
| Memory effects | readwrite read |
| Ownership effects | release read (by_value) |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | read |
any |
required | — |