{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":".instantiate(cx.tcx,"}]}
                            .instantiate(cx.tcx, args)
                            .inhabited_predicate(cx.tcx, *def)
                            .apply_revealing_opaque(cx.tcx, cx.typing_env, cx.module, &|key| {