pub fn default_def_id_debug(def_id: DefId, f: &mut Formatter<'_>) -> Result