{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
        /// should therefore include `--message-format=json` or a similar option
        /// diagnostics on save. The command is required to output json and
        /// (if your client supports the `colorDiagnosticOutput` experimental