syntax_data: {"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// will result in an ICE.
context_before: /// not happen because the specialization graph already checks for those, and
context_after: pub fn translate_args_with_cause<'tcx>(