{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"&typeck.universal_regions,"}]}
        &typeck.universal_regions,
        typeck.infcx.num_region_vars(),
        &typeck.constraints.outlives_constraints,