{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"|vid|"}]}
        |vid| ocx.infcx.universe_of_region(ty::Region::new_var(ocx.infcx.tcx, vid)),
        |vid| ocx.infcx.region_var_origin(vid),
    )