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