How to use static asserts with if constexpr logics?

Question

I would like to use some static_assert checking, with conditions that depend on some constexpr logics. I thought that something like this may work: