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