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