fn def_id_debug(def_id: DefId, f: &mut Formatter<'_>) -> Result
This is a callback from rustc_hir as it cannot access the implicit state in rustc_middle otherwise.
rustc_hir
rustc_middle