{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"write!(out,"}]}
        write!(out, "{}[\"", region.as_usize())?;
    for region in regioncx.definitions.indices() {
        render_region(tcx, region, regioncx, out)?;