Updated tests to check at compile-time using static_assert