{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
    /// In the case where `array_len` is `Some(_)`,
    /// Captures any array constructor of `length >= i + j`.
    /// this indicates that we only care about the first `i` and the last `j` values of the array,