{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"///"}]}
/// `args` is the parser for the attribute arguments.
/// `cx` is the context given to the attribute.
pub(crate) fn parse_single_integer<S: Stage>(