https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80947
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Paolo Carlini from comment #12) > As far as the snippet in Comment #4 is concerned, current trunk seems fine > to me. Ah yes. It was fixed on trunk by r251433