https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66537
--- Comment #3 from Ville Voutilainen <ville.voutilainen at gmail dot com> --- Oh well, I guess CWG 1518 as referenced in the other bug should solve this. I'm fine either way, if explicit default constructors are decided to work with the example, we can close this bug as invalid, and I should pursue harder making library tag types non-default-constructible.