Source code
Revision control
Copy as Markdown
Other Tools
//error: destructor declaration `__delete__(...)' required for managed protocol `managedNoDtor'
include protocol managerNoDtor;
protocol managedNoDtor {
manager managerNoDtor;
// empty
};