{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
    /// name, if it's a lint without an error code.
    /// The error code (e.g. "E1234"), if the diagnostic has one. Or the lint
    code: String,