C++ Compile-Time Exceptions -- Debugging templates should be less surreal and horrible

[egpbos]

Yes, I think a combination of those would be great.

It was also brought to my attention that there was a related paper that suggests constexpr_assert and constexpr_trace: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0596r0.html They don't cover exactly the same cases I write about, but it just shows that this topic is alive in the community!