destructors spec: be more precise about temporaries

This commit is contained in:
Andreas Rumpf
2019-07-26 07:13:01 +02:00
parent b9c15371a3
commit c9c8fa99cc

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)