Add extra static_assert