[ 2024-06-18; Jonathan adds a comment ]

It's not clear that `std::prev` requires Cpp17InputIterator, that's the subject of LWG 3197.