{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// an initial level for a lint.
    /// Note that this still means that the lint is enabled in this position and should