syntax_data: {"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// into `self.out`.
context_before:     /// Pushes the obligations required for an alias (except inherent) to be WF
context_after:     fn add_wf_preds_for_alias_term(&mut self, data: ty::AliasTerm<'tcx>) {