{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"{"}]}
    {
        regioncx.region_definition(rvid).external_name.and_then(|e| e.get_name(tcx))
        format!(" ({external_name})")