{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"tcx.mk_clauses_from_iter(util::elaborate(tcx,"}]}
            tcx.mk_clauses_from_iter(util::elaborate(tcx, [clause]).filter(|clause| {
            let clause: ty::Clause<'_> = trait_ref.upcast(tcx);
                matches!(