// expect error: x: isn't an owned object, so there is no ownership to recast
// spec 6.7
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int x = 3; int* y = d*x; return 0; }
// zc0: skip