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