static_assert non zero sized types