{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"///"}]}
    /// is not dropped, see [#74836].
    /// This is the cause of a bug in the case where the repetition count is zero because the value
    ///