blob: 7bf413ef6163dcbc7445bd470ed47577db59de00 (
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 IntrAsyncManagee;
async protocol IntrAsyncManager {
manages IntrAsyncManagee;
parent:
async IntrAsyncManagee();
};
|