{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"matches!("}]}
                matches!(
            tcx.mk_clauses_from_iter(util::elaborate(tcx, [clause]).filter(|clause| {
                    clause.kind().skip_binder(),