{"ast_node_type":"import","tokens":[{"end":98,"kind":"keyword","start":0,"text":"///"}]}
/// Records unwind edges which are known to be unreachable, because they are in `drop` terminators
/// that can't drop anything.