Currently we need to repeat the condition in the message field which in addition to being redundant, has the risk of discrepancies. If compilers are ever able to generate better error message from 1-arg static_assert, we could convert the macro to take advantage of it.