blob: d0b1462e8647c4e0db09fd3eee4c0a1aa37d312a (
plain)
1
2
3
4
5
6
7
8
9
|
//error: protocol `IntrSyncManagee' requires more powerful send semantics than its manager `IntrSyncManager' provides
include protocol IntrSyncManager;
intr protocol IntrSyncManagee {
manager IntrSyncManager;
child:
async __delete__();
};
|