Skip to content

filter_next: check for filter().next_back()#15748

Merged
Jarcho merged 1 commit intorust-lang:masterfrom
zihan0822:filter-next-back-to-rfind
Sep 26, 2025
Merged

`filter_next`: check for `filter().next_back()`#15748
Jarcho merged 1 commit intorust-lang:masterfrom
zihan0822:filter-next-back-to-rfind

Commits

Commits on Sep 25, 2025