syntax_data: {"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// Pushes the obligations required for `trait_ref` to be WF into `self.out`.
context_after:     fn add_wf_preds_for_trait_pred(