https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87804
--- Comment #2 from Pavel Ondračka <pavel.ondracka at gmail dot com> --- Wow, yeah that works, thank you so much. It's not very clear from your explanation if this is a bug or not after all... Feel free to close the bug if the omission of pure was a mistake on my end.