https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71973
--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> --- I see, maybe for clarity you could open a separate enhancement-type PR.
paolo.carlini at oracle dot com Sat, 07 Oct 2017 09:57:50 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71973
--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> --- I see, maybe for clarity you could open a separate enhancement-type PR.