blob: 80a82ab6d8051a32eb98c6efb732c14fb572bd32 (
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 IntrSyncManagee;
sync protocol IntrSyncManager {
manages IntrSyncManagee;
parent:
async IntrSyncManagee();
};
|