{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")"}]}
) -> (String, String) {
    predicates: impl IntoIterator<Item = (ty::Clause<'tcx>, Span)>,
    let mut types: FxIndexMap<Ty<'tcx>, Vec<DefId>> = FxIndexMap::default();