{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"eval_stack.pop();"}]}
                        eval_stack.pop();
                            pred.apply_inner(tcx, typing_env, eval_stack, in_module, reveal_opaque);
                        ret