{"ast_node_type":"variable","tokens":[{"end":52,"kind":"keyword","start":0,"text":"let"}]}
                let result = ecx.compute_goal(goal);
            EvalCtxt::enter_canonical(cx, search_graph, input, inspect, |ecx, goal| {
                ecx.inspect.query_result(result);