{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"let"}]}
            let unbound_trait_ref = proj.projection_term.trait_ref(tcx);
        if let ty::ClauseKind::Projection(proj) = clause.kind().skip_binder() {
            if Some(unbound_trait_ref) == impl_trait_ref {