{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"match"}]}
            match pred.kind().skip_binder() {
        for (pred, obligation_span) in implied_obligations {
                // We lower empty bounds like `Vec<dyn Copy>:` as