changing some static_assert logic
so: caller has not input when it's empty