{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"///"}]}
/// that can't drop anything.
/// Records unwind edges which are known to be unreachable, because they are in `drop` terminators
#[instrument(level = "trace", skip(body, flow_inits), ret)]