// destructors 7: a value whose own drop is set can't be copied into an actor message either
namespace;
include rt, actor;
actor Echo { int handle(int* p) { return *p; } }
fn main() {
	Echo* e = rt.new(Echo);
	int* p = rt.new(int); p.drop = fn() { rt.put_s("dropped"); };
	e.spawn();
	e.send(p);
	e.close();
	return 0;
}