{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// found to hit this error. To be cautious, it is a lint for now. The
    /// This is a lint instead of a hard error because existing projects were
    /// future semantics of the `include!` macro are also uncertain, see