{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"reused_node_vec:"}]}
                reused_node_vec: vec![],
                active_cache: Default::default(),
                obligation_tree_id_generator: (0..).map(ObligationTreeId),