{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"self.dcx().span_delayed_bug("}]}
                self.dcx().span_delayed_bug(
            if polarity == ty::PredicatePolarity::Negative {
                    constraint.span,