aboutsummaryrefslogtreecommitdiff
path: root/tests/conformance/6-ownership
Commit message (Collapse)AuthorAgeFilesLines
* rt: gc_drops finalizes a droppable value that reaches itself (a cycle, or a ↵Gravatar zinc 2026-10-152-0/+30
| | | | drop capturing its own value), one per collection, each once; before, each waited for the other forever; spec 6.15.3, drop_gc_cycle.zc, drop_gc_self_capture.zc, design doc lists what landed
* destructors: nothing moves out of a value with a drop: pop on an array with ↵Gravatar zinc 2026-10-154-0/+48
| | | | a drop, or on an array field of a value with a drop, is error: a: can't move out of a value with drop (fields were already borrowed projections); spec 6.15.5, four conformance programs
* destructors: reassigning an m owner that still holds a value frees the old ↵Gravatar zinc 2026-10-153-2/+32
| | | | value first, running its drop (right side first, then the free, then the store), with hint: x: reassigning frees the old value; a new value that is part of the old one is an error; u, d and captured owners keep the leak error; the new value's size, leaf type and drop are recorded like a declaration's; spec 6.8.5, 6.15.2
* destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop ↵Gravatar zinc 2026-10-1413-0/+178
| | | | methods, collector drops after the sweep (once, resurrection), freed blocks forget their drop, temporaries drop at statement end with a hint, actor send check; o3: no collection inside a region (pending until the outermost exit), no drops set or ended inside o3; spec 3.11.6, 4.10.3-4, 6.15
* conformance: port the previous agent's suite, fix six expectations, add ↵Gravatar zinc 2026-10-1431-0/+204
sections 5 to 8 and appendix b, known.txt, zc0 skips, wire into test.sh