// expect error: b: has to be u to be returned
// spec 6.6
include rt;
struct node { int value; node* prev; node* next; };
node* g() { node* a = rt.new(node); node* b = rt.new(node); a.next = b; b.prev = a; return b; }
fn main() { node* x = g(); rt.put_n(x.value); }
// zc0: skip