{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"&&"}]}
                        && pred.skip_binder().self_ty() == trait_ref.self_ty()
                    if let Some(pred) = obligation.predicate.as_projection_clause()
                    {