diff options
Diffstat (limited to 'tests/conformance/6-ownership/reassign_moves_inner_owner.zc')
| -rw-r--r-- | tests/conformance/6-ownership/reassign_moves_inner_owner.zc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/conformance/6-ownership/reassign_moves_inner_owner.zc b/tests/conformance/6-ownership/reassign_moves_inner_owner.zc new file mode 100644 index 0000000..d66d886 --- /dev/null +++ b/tests/conformance/6-ownership/reassign_moves_inner_owner.zc @@ -0,0 +1,5 @@ +// expect: 1 2/ +// spec 6.8.5: r still owns; assigning n frees r's object and moves n's into r, so n's block end frees nothing +include rt; +fn main() { word r = rt.new(4); { word n = rt.new(8); n[0] = 1; r = n; } rt.put_n(r[0]); r[0] = 2; rt.put_c(32); rt.put_n(r[0]); rt.put_c(10); return 0; } +// zc0: skip |