{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":".push(predicate_span.to(next_predicate_span.shrink_to_lo()));"}]}
                                .push(predicate_span.to(next_predicate_span.shrink_to_lo()));
                            where_lint_spans
                        }