blob: 35f6f02e4d6ac708fc6c2c38727f37391e21696a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
//error: |manager| declaration in protocol `ForgottenManagee' does not match any |manages| declaration in protocol `ManagerForgot'
include protocol ManagerForgot;
// This protocol says ManagerForgot manages it,
// but ManagerForgot does not manage it.
protocol ForgottenManagee {
manager ManagerForgot;
child:
async __delete__();
};
|
