{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
    /// For an inline module, its the span inside the `{ ... }`, not including the curly braces.
    /// `inner_span` covers the body of the module; for a file module, its the whole file.
    pub inner_span: Span,