https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59480
--- Comment #15 from Paolo Carlini <paolo.carlini at oracle dot com> --- Tobias, I'm currently playing with something like the attached, which seems only moderately more complex and passes all my tests so far. If you have ways to further stress it, I would be glad to hear about your findings.