{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"EvalCtxt::enter_root(self,"}]}
            EvalCtxt::enter_root(self, root_depth, GenerateProofTree::No, I::Span::dummy(), |ecx| {
        self.probe(|| {
                ecx.evaluate_goal(GoalEvaluationKind::Root, GoalSource::Misc, goal, None)