{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
    /// give equivalent results regardless of `l`. This applies to any set of slice patterns: there
    /// This means that specialization and witness computation with slices of length `l >= 4` will
    /// will be a length `L` above which all lengths behave the same. This is exactly what we need