blob: 3fda3666740d5f398e9c16c7881395f364a2433b (
plain)
1
2
3
4
5
6
7
8
9
10
|
//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__();
};
|