{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            BoundPolarity::Maybe(span) => BoundPolarity::Maybe(self.lower_span(span)),
        hir::TraitBoundModifiers { constness, polarity }