[Bug libstdc++/71771] DR 685 applied incorrectly

[Casey at Carter dot net]

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

--- Comment #7 from Casey Carter <Casey at Carter dot net> ---
That seems like a good compromise solution to avoid breaking both old code and
new.