Some checks changed to static_assert