{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"if"}]}
            if polarity == ty::PredicatePolarity::Negative {
            // would not be well-formed!
                self.dcx().span_delayed_bug(