{"ast_node_type":"variable","tokens":[{"end":85,"kind":"keyword","start":0,"text":"let"}]}
    let trait_ty = tcx.type_of(trait_ct.def_id).instantiate(tcx, trait_to_impl_args);
    let code = ObligationCauseCode::CompareImplItem {