From 61e8869ed9aa8bf50a0ea2447a43bf856479feaa Mon Sep 17 00:00:00 2001 From: Amanda Stjerna Date: Wed, 6 Aug 2025 16:35:20 +0200 Subject: [PATCH] Proposed format --- compiler/rustc_borrowck/src/region_infer/graphviz.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/rustc_borrowck/src/region_infer/graphviz.rs b/compiler/rustc_borrowck/src/region_infer/graphviz.rs index 899dde9ecd47..ae4efddea4a9 100644 --- a/compiler/rustc_borrowck/src/region_infer/graphviz.rs +++ b/compiler/rustc_borrowck/src/region_infer/graphviz.rs @@ -45,14 +45,14 @@ fn render_region_vid<'tcx>( NllRegionVariableOrigin::FreeRegion => "".to_string(), NllRegionVariableOrigin::Placeholder(p) => match p.bound.kind { ty::BoundRegionKind::Named(def_id) => { - format!("(p for {})", tcx.item_name(def_id)) + format!(" (for<{}>)", tcx.item_name(def_id)) } - ty::BoundRegionKind::ClosureEnv | ty::BoundRegionKind::Anon => "(p)".to_string(), + ty::BoundRegionKind::ClosureEnv | ty::BoundRegionKind::Anon => " (for<'_>)".to_string(), ty::BoundRegionKind::NamedAnon(_) => { bug!("only used for pretty printing") } }, - NllRegionVariableOrigin::Existential { .. } => "(ex)".to_string(), + NllRegionVariableOrigin::Existential { .. } => " (ex<'?>)".to_string(), }; format!("{:?}{universe_str}{external_name_str}{extra_info}", rvid)