{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"match"}]}
            match uninstantiated_pred.kind().skip_binder() {
        let (predicate_args, predicate_self_type_to_point_at) =
                ty::ClauseKind::Trait(pred) => {