{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"///"}]}
    /// If this map is for a module, this will be the [`HirFileId`] of the module's definition site,
    file_id: HirFileId,
    /// while `file_id` will be the one of the module declaration site.