{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"search_graph,"}]}
            search_graph,
            initial_opaque_types_storage_num_entries,
            nested_goals: Default::default(),