destructors spec: be more precise about temporaries

(cherry picked from commit c9c8fa99cc)
This commit is contained in:
Andreas Rumpf
2019-07-26 07:13:01 +02:00
committed by narimiran
parent 09570f20cc
commit 6a0e541336

View File

@@ -326,7 +326,9 @@ not destroyed at the scope exit, but at the proc exit.
f(...)
------------------------ (function-call)
(let tmp = f(...); tmp)
(let tmp;
bitwiseCopy tmp, f(...);
tmp)
finally: `=destroy`(tmp)