{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"self.probe(||"}]}
        self.probe(|| {
    ) -> bool {
            EvalCtxt::enter_root(self, root_depth, GenerateProofTree::No, I::Span::dummy(), |ecx| {