syntax_data: {"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:         /// high-level compilation sections
context_before:         /// `true` if we're emitting JSON timings with the start and end of
context_after:         json_timings: bool [UNTRACKED],