Function hir_ty_to_string 

fn hir_ty_to_string(tcx: TyCtxt<'_>, ty: &Ty<'_>) -> String