blob: d2fa481e7f02430455b05c4ac19c737537e20297 (
plain)
1
2
3
4
5
6
7
8
9
|
// 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
protocol AsyncInsideSync {
child:
[Nested=inside_sync] async Msg();
};
|