{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"///"}]}
    /// to ensure that a lint can't be suppressed. This lint level can currently only be set
    /// This lint level is a special case of [`Warn`], that can't be overridden. This is used
    /// via the console and is therefore session specific.