//error: destructor declaration `__delete__(...)' required for managed protocol `managedNoDtor'
include protocol managedNoDtor;
protocol managerNoDtor {
manages managedNoDtor;
parent:
async managedNoDtor();
// error: no ctor defined
};
[ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
]