blob: 0417cc5ace4647c721e635d556c3206ac1f7f67e (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
//error: destructor declaration `__delete__(...)' required for managed protocol `managedNoDtor'
include protocol managedNoDtor;
protocol managerNoDtor {
manages managedNoDtor;
parent:
async managedNoDtor();
// error: no ctor defined
};
|