{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"debug!(\"superbound:"}]}
                debug!("superbound: {:?}", pred);
            for &(pred, span) in implied_bounds {
                if let ty::ClauseKind::Trait(bound) = pred.kind().skip_binder()