// expect error: q: owned object is never used
// spec 4.9: only that function is unchecked
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
unchecked fn leaky() { int* p = rt.new(int); return 0; }
fn main() { int* q = rt.new(int); leaky(); return 0; }