{"ast_node_type":"variable","tokens":[{"end":92,"kind":"keyword","start":0,"text":"let"}]}
        let mut nested = ProofTreeBuilder { state: self.state.take(), _infcx: PhantomData };
    pub(crate) fn take_and_enter_probe(&mut self) -> ProofTreeBuilder<D> {
        nested.enter_probe();