https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107799 --- Comment #2 from Diego Baldassar <diego at baldassar dot net> --- Ah I see, it was a DR. My mistake. Will we see this updated for GCC 13? Or is it considered a breaking change that's too late to fix?