syntax_data: {"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"wf_args:"}]}
source_snippet:     wf_args: RefCell<Vec<(ty::Term<'tcx>, usize)>>,
context_before:     /// and the depth of the trait predicate *above* that well-formed predicate.
context_after: }