syntax_data: {"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // that their args are WF.
context_before:         // Negative trait predicates don't require supertraits to hold, just
context_after:         if trait_pred.polarity == ty::PredicatePolarity::Negative {