https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78830
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> --- P.S. in C++2a std::ranges::prev does make it ill-formed to pass arguments that don't satisfy the BidirectionalIterator concept. But std::prev doesn't.