Quelle  managedNoDtor.ipdl   Sprache: unbekannt

//error: destructor declaration `__delete__(...)' required for managed protocol `managedNoDtor'
include protocol managerNoDtor;

protocol managedNoDtor {
    manager managerNoDtor;
    // empty
};