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