{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
/// written by user), or a `MacroCallId` (source code produced by macro).
/// produced the file. So, a `HirFileId` is either a `FileId` (source code
///