blob: 054964a817edafd62c7b0cefb4d1491082cf539e (
plain)
1
2
3
4
5
6
7
8
9
10
|
// 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
[ChildProc=any]
protocol InsideCpowToChild {
child:
[Nested=inside_cpow] sync Msg();
};
|