{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"self,"}]}
            self,
        let (result, proof_tree) = EvalCtxt::enter_root(
            self.cx().recursion_limit(),