namespace;
include rt;

// expect: a borrowed parameter cannot be returned as an owned result
.u mk(.m q) { return q; }
fn main() { let x = rt.new(1); let y = mk(x); return y[0]; }