{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"eval_stack.push(t);"}]}
                    eval_stack.push(t);
                    }
                    let ret = t.inhabited_predicate(tcx).apply_inner(