ref.release
← ref dialect
End this managed handle's lifetime. The source identity is invalid afterward. An owning ref releases its owner and runs the native finalizer when it holds the last reference. A ptr retires any compiler-acquired protection; an unprotected borrow or null has no payload effect. Independent handles remain valid.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
ObservableEffect |
| Ownership effects |
move value (by_value) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
value |
managed_reference |
required |
— |
Examples
ref.release %owner : ref<@Frame>