{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
/// produced the file. So, a `HirFileId` is either a `FileId` (source code
/// file". To assign an id to such a file, we use the id of the macro call that
/// written by user), or a `MacroCallId` (source code produced by macro).