// expect error: x: has drop and can't end inside an o3 region
// destructors, o3: an explicit free of a droppable value inside o3 is an error
include rt;
fn main() {
	int* x = rt.new(int);
	x.drop = fn() { rt.put_s("a"); };
	o3 { rt.free(x); }
	return 0;
}
// zc0: skip