fn hir_id_to_string(map: &Map<'_>, id: HirId) -> String