Source code
Revision control
Copy as Markdown
Other Tools
// inside_sync nested messages must be sync
//error: inside_sync nested messages must be sync (here, message `Msg' in protocol `AsyncInsideSync')
//error: message `Msg' requires more powerful send semantics than its protocol `AsyncInsideSync' provides
[ChildProc=any]
protocol AsyncInsideSync {
child:
[Nested=inside_sync] async Msg();
};