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