tests/programs/infer_return.zc


1
2
3
4
5
6

namespace;
include rt;

// a owned return with no .u on the signature: the return type is inferred from the body
fn mk(v) { int* p = rt.new(1); p[0] = v; return p; }
fn main() { int* q = mk(3); rt.put_n(q[0]); rt.put_c(10); return 0; }