{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"ImplPolarity::Negative(_)"}]}
            ImplPolarity::Negative(_) => "negative".fmt(f),
            ImplPolarity::Positive => "positive".fmt(f),
        }