Asserting a null byte follows a std::span in memory

Part of

Undefined Behavior In C++ Compilers