Macro trace_leader_event 

macro_rules! trace_leader_event {
    ($tracer:expr, $view:expr, $event:expr) => { ... };
}

Records $event for $view when $tracer is Some.