tests/conformance/6-ownership/drop_free_in_o3_rejected.zc


1
2
3
4
5
6
7
8
9
10

// 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