{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"op:"}]}
            op: |r| {
            param_env: typeck.infcx.param_env,
                let live_region_vid = typeck.universal_regions.to_region_vid(r);