{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"regioncx.region_definition(rvid).external_name.and_then(|e|"}]}
        regioncx.region_definition(rvid).external_name.and_then(|e| e.get_name(tcx))
    let external_name_str = if let Some(external_name) =
    {