{"ast_node_type":"function","tokens":[{"end":56,"kind":"keyword","start":0,"text":"fn"}]}
    fn from(g: WipGoalEvaluation<I>) -> DebugSolver<I> {
impl<I: Interner> From<WipGoalEvaluation<I>> for DebugSolver<I> {
        DebugSolver::GoalEvaluation(g)