blob: 4338555952e5d59ed8114f11cff8f21aac745845 (
plain)
1
2
3
4
5
6
7
8
9
|
// inside_cpow nested parent-to-child messages are verboten
//error: inside_cpow nested parent-to-child messages are verboten (here, message `Msg' in protocol `InsideCpowToChild')
//error: message `Msg' requires more powerful send semantics than its protocol `InsideCpowToChild' provides
protocol InsideCpowToChild {
child:
[Nested=inside_cpow] sync Msg();
};
|