{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"polarity:"}]}
                polarity: ast::BoundPolarity::Positive,
            modifiers: ast::TraitBoundModifiers {
                constness: if is_const {