Source code

Revision control

Copy as Markdown

Other Tools

//error: destructor must be async
[ChildProc=any]
protocol SyncDestructor {
child:
sync __delete__();
};