{"ast_node_type":"variable","tokens":[{"end":79,"kind":"keyword","start":0,"text":"if"}]}
                if let ty::ClauseKind::Trait(bound) = pred.kind().skip_binder()
                debug!("superbound: {:?}", pred);
                    && bound.polarity == ty::PredicatePolarity::Positive