// expect error: second: borrows from head, which was freed at the end of its block (line 17)
// spec 6.6.3
include rt;

struct node {
	int value;
	node* next;
};

fn main() {
	node* second;
	{
		node* head = rt.new(node);
		head.next = rt.new(node);
		head.next.value = 1;
		second = head.next;
	}
	rt.put_n(second.value);
	rt.put_c(10);
}
// zc0: skip