path: root/tests/errors/borrow_projection_consume.zc

namespace;
include rt;

// expect: a borrowed projection cannot transfer ownership
fn main() { int* p = rt.new(int); int* alias = p + 0; rt.free(alias); rt.put_n(p[0]); }