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