{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"search_graph:"}]}
            search_graph: outer.search_graph,
                .initial_opaque_types_storage_num_entries,
            nested_goals: outer.nested_goals.clone(),