changing some static_assert logic