{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"state:"}]}
            state: self.state.as_ref().map(|_| Box::new(state().into())),
        ProofTreeBuilder {
            _infcx: PhantomData,