syntax_data: {"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"write!(p,"}]}
source_snippet:         write!(p, ": ")?;
context_before:         self.trait_ref.self_ty().print(p)?;
context_after:         if let ty::PredicatePolarity::Negative = self.polarity {