1 2 3 4 5 6
//error: non-returns message `NormalPrio' cannot specify [ReplyPriority] async protocol ReplyPrioWithoutReturns { child: [ReplyPriority=normal] async NormalPrio(); };