Function id_to_string 

pub fn id_to_string(cx: &dyn HirTyCtxt<'_>, hir_id: HirId) -> String