https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81506
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> --- Thanks Martin. This reminds me that we should tell David that in some cases the "waves" following the caret don't go on far enough. Or maybe he already knows or maybe we should do that instead ;)
