{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"filter:"}]}
    filter: PredicateFilter,
    trait_def_id: DefId,
) -> ty::EarlyBinder<'tcx, &'tcx [(ty::Clause<'tcx>, Span)]> {