syntax_data: {"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"predicate.kind().skip_binder()"}]}
source_snippet:         predicate.kind().skip_binder()
context_before:     if let ty::PredicateKind::Clause(ty::ClauseKind::Trait(trait_pred)) =
context_after:         && trait_pred.polarity == ty::PredicatePolarity::Positive