{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"///"}]}
/// in `rustc_middle` otherwise.
/// This is a callback from `rustc_hir` as it cannot access the implicit state
fn def_id_debug(def_id: rustc_hir::def_id::DefId, f: &mut fmt::Formatter<'_>) -> fmt::Result {