{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    /// and is indicated with a `^^^^` underline, versus `----`.
    /// Is this a primary span? This is the "locus" of the message,
    pub is_primary: bool,