blob: dd95a7c002520e2574790867b666ece5c2b21680 (
plain)
1
2
3
4
5
6
7
|
//error: intr protocol `PIntrNestedProtocol' cannot specify [NestedUpTo]
[NestedUpTo=inside_sync, ChildProc=any]
intr protocol PIntrNestedProtocol {
child:
[LegacyIntr] intr Msg();
};
|