[Bug libstdc++/71038] copy_file(...) returns false on successful copy.

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71038

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
I can't reproduce this with any version.