{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// written by user), or a `MacroCallId` (source code produced by macro).
/// What is a `MacroCallId`? Simplifying, it's a `HirFileId` of a file