{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"ensure_removed(sess.dcx(),"}]}
                    ensure_removed(sess.dcx(), path);
                if !keep_numbered_bitcode {
                }