uassert is usable because the if is in a macro that expands into the current function. Unfortunately invariant uses a wrapper function that isn't marked constexpr so it is unusable from within a function marked constexpr. We should fix this rather than requiring terrible workarounds like if (cond) invariant(0, "message")