{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"},"}]}
    },
        definition: EditionedFileId,
    /// Note that non-inline modules, by definition, live inside non-macro file.