pub fn drain_forwarded_at_request(tid: i32)Expand description
Takes waiting messages as drain_forwarded does at the top of the handler of
a request from thread tid, and writes tid’s queued records now when its
request is a point the schedule fixes (the order rule at set_forwarded_source).