{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"ty::ClauseKind::Trait(pred)"}]}
                ty::ClauseKind::Trait(pred) => {
            match uninstantiated_pred.kind().skip_binder() {
                    (pred.trait_ref.args.to_vec(), Some(pred.self_ty().into()))