diff options
| author | Amanda Stjerna <amanda.stjerna@it.uu.se> | 2025-08-06 16:35:20 +0200 |
|---|---|---|
| committer | Amanda Stjerna <amanda.stjerna@it.uu.se> | 2025-08-06 16:35:20 +0200 |
| commit | 61e8869ed9aa8bf50a0ea2447a43bf856479feaa (patch) | |
| tree | 0fc56dbce5c47a3aaab81264a5026853b25153ae | |
| parent | bcefc2ee977e38a4a5ecd0956e19b0968d33052b (diff) | |
| download | rust-61e8869ed9aa8bf50a0ea2447a43bf856479feaa.tar.gz rust-61e8869ed9aa8bf50a0ea2447a43bf856479feaa.zip | |
Proposed format
| -rw-r--r-- | compiler/rustc_borrowck/src/region_infer/graphviz.rs | 6 |
1 files 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 899dde9ecd4..ae4efddea4a 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) |
