{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"util::elaborate(tcx,"}]}
            util::elaborate(tcx, bounds.iter().map(|&(bound, _span)| bound)).filter_only_self(),
        tcx.mk_clauses_from_iter(
        )