{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"match"}]}
        match pred.kind().skip_binder() {
        // instead of requiring an additional `+ 'a`.
            ty::ClauseKind::Trait(ty::TraitPredicate {