Source code
Revision control
Copy as Markdown
Other Tools
//error: non-returns message `NormalPrio' cannot specify [ReplyPriority]
[ChildProc=any]
async protocol ReplyPrioWithoutReturns
{
child:
[ReplyPriority=normal] async NormalPrio();
};