{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"&&"}]}
                    && bound.polarity == ty::PredicatePolarity::Positive
                if let ty::ClauseKind::Trait(bound) = pred.kind().skip_binder()
                {