{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"///"}]}
    /// slice `[]`.
    /// known. If `subtype_is_empty`, all constructors are empty except possibly the zero-length
    Slice { array_len: Option<usize>, subtype_is_empty: bool },