{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"tcx.type_of(a_did).instantiate(tcx,"}]}
                                tcx.type_of(a_did).instantiate(tcx, a_gen_args),
                                typing_env,
                                tcx.type_of(b_did).instantiate(tcx, b_gen_args),