Source code
Revision control
Copy as Markdown
Other Tools
//error: destructor declaration `__delete__(...)' required for managed protocol `managedNoDtor'
include protocol managedNoDtor;
protocol managerNoDtor {
manages managedNoDtor;
parent:
async managedNoDtor();
// error: no ctor defined
};