syntax_data: {"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"args:"}]}
source_snippet:         args: Self::GenericArgs,
context_before:         def_id: Self::DefId,
context_after:     ) -> (ty::TraitRef<Self>, Self::GenericArgsSlice);