{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"tcx,"}]}
        tcx,
    let impl1_predicates: Vec<_> = traits::elaborate(
        tcx.predicates_of(impl1_def_id).instantiate(tcx, impl1_args).into_iter(),