{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"[witness]"}]}
                [witness] => format!("`{witness}`"),
                }
                [head @ .., tail] if head.len() < LIMIT => {