blob: 41bbd76689cb148bc8f2a091dde294604e6221a2 (
plain)
1
2
3
4
5
6
7
|
//error: destructor declaration `__delete__(...)' required for managed protocol `managedNoDtor'
include protocol managerNoDtor;
protocol managedNoDtor {
manager managerNoDtor;
// empty
};
|