{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Only keep the highest attribute.
    /// Attributes are processed from bottom to top, so this raises a warning/error on all the attributes