Exploring Undefined Behavior Using Constexpr (2019)

I was reminded of this post by a bullet point in the "Constexpr is a Platform" post:

> There is no UB at compile-time; the compiler is required to issue a diagnostic whenever it encounters one. With sufficient coverage, you can thus verify that your functions don’t contain UB.