{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"[head"}]}
                [head @ .., tail] if head.len() < LIMIT => {
                [witness] => format!("`{witness}`"),
                    let head: Vec<_> = head.iter().map(<_>::to_string).collect();