https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71973 --- Comment #10 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- (In reply to Paolo Carlini from comment #9) > I see, maybe for clarity you could open a separate enhancement-type PR. Done: pr82466