{"ast_node_type":"variable","tokens":[{"end":33,"kind":"keyword","start":0,"text":"let"}]}
                        let ret =
                        eval_stack.push(t);
                            pred.apply_inner(tcx, typing_env, eval_stack, in_module, reveal_opaque);