Source code
Revision control
Copy as Markdown
Other Tools
//error: protocol `PBadNestedManagee' requires more powerful send semantics than its manager `PBadNestedManager' provides
include protocol PBadNestedManager;
[NestedUpTo=inside_sync, ChildProc=any]
async protocol PBadNestedManagee {
manager PBadNestedManager;
child:
async __delete__();
};