1 2 3 4 5 6
//error: intr protocol `PIntrNestedProtocol' cannot specify [NestedUpTo] [NestedUpTo=inside_sync] intr protocol PIntrNestedProtocol { child: [LegacyIntr] intr Msg(); };