tests/conformance/6-ownership/outer_owner_in_inner_container.zc


1
2
3
4
5
6
7
8
9
10
11
12
13

// expect error: head: belongs to item, which was freed at the end of its block (line 10)
// spec 6.8.5
include rt;
struct node { int value; node* next; };
fn main() {
	node* head = rt.new(node);
	{
		node* item = rt.new(node);
		item.next = head;
	}
	rt.put_n(head.value);
}
// zc0: skip