https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100070
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- vector(InputIterator, InputIterator) is now optimized for C++20 iterators that don't meet the Cpp17ForwardIterator requirements, as of r15-8904-ge200f53a555651