https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71376 --- Comment #2 from Eric Fiselier <eric at efcs dot ca> --- I was wrong about the "GCC has recently implemented "noexcept as part of the type system"" part. Closing as invalid.