Skip to content

Commit a84497b

Browse files
committed
[sil.rst] Try to make it clearer that copy_unmanaged_value performs a "strong copy" of the underlying value.
1 parent dd7d925 commit a84497b

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

docs/SIL.rst

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3746,6 +3746,9 @@ This instruction has the same semantics as ``copy_value`` except that its input
37463746
is a trivial ``@sil_unmanaged`` type that doesn't require ref counting. This is
37473747
intended to be used semantically as a "conversion" like instruction from
37483748
``unmanaged`` to ``strong`` and thus should never be removed by the optimizer.
3749+
Since the returned value is a strong owned value, this instruction semantically
3750+
should be treated as performing a strong copy of the underlying value as if by
3751+
the value's type lowering.
37493752

37503753
copy_value
37513754
``````````

0 commit comments

Comments
 (0)