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