fn on_destroy_task(&self, _tuid: TaskUid) {
        // DIFF NOTE: Don't need to remove task from task
        // map like in rr. This is done in kill_all_tasks() or
        // Task::destroy() already.
        //
        // Do nothing by default.
    }
/// DIFF NOTE: Simply called on_destroy() in rr.
/// Also takes a TaskUid instead of a &dyn Task
DIFF NOTE: Simply called on_destroy() in rr.
Also takes a TaskUid instead of a &dyn Task
DIFF NOTE : Simply called on_destroy () in rr . Also takes a TaskUid instead of a &dyn Task
fn on_destroy_task(&self, _tuid: TaskUid) {
        // DIFF NOTE: Don't need to remove task from task
        // map like in rr. This is done in kill_all_tasks() or
        // Task::destroy() already.
        //
        // Do nothing by default.
    }
fn on_destroy_task ( & self , _tuid : TaskUid ) { // DIFF NOTE: Don't need to remove task from task // map like in rr. This is done in kill_all_tasks() or // Task::destroy() already. // // Do nothing by default. }
DIFF NOTE: Simply called on_destroy() in rr.
DIFF NOTE : Simply called on_destroy () in rr .
&self
_tuid
TaskUid