Merge pull request swiftlang#27375 from gottesmm/pr-37fe7a0a42201ad83ffbe950c9b552addfb01e4d

gottesmm · web-flow · commit 71090c27ee71 · 2019-10-24T18:32:29.000-07:00
[sil.rst] Try to make it clearer that copy_unmanaged_value performs a…
diff --git a/docs/SIL.rst b/docs/SIL.rst
@@ -3746,6 +3746,9 @@ This instruction has the same semantics as ``copy_value`` except that its input
 is a trivial ``@sil_unmanaged`` type that doesn't require ref counting. This is
 intended to be used semantically as a "conversion" like instruction from
 ``unmanaged`` to ``strong`` and thus should never be removed by the optimizer.
+Since the returned value is a strong owned value, this instruction semantically
+should be treated as performing a strong copy of the underlying value as if by
+the value's type lowering.
 
 copy_value
 ``````````
