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 diag

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.