syntax_data: {"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"function:"}]}
source_snippet:                         function: with_no_trimmed_paths!(self.tcx.def_path_str(id)),
context_before:                         span,
context_after:                         guarantee,