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