{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"typeck.universal_regions,"}]}
                typeck.universal_regions,
                typeck.infcx.tcx,
                value,