fn render_region<'tcx>( tcx: TyCtxt<'tcx>, region: RegionVid, regioncx: &RegionInferenceContext<'tcx>, out: &mut dyn Write, ) -> Result<()>
Emits a region’s label: index, universe, external name.