num::debug::check_non_empty

Defined in header <core/debug.hpp>

void check_non_empty(idx size, std::string_view label,
                     std::source_location loc = std::source_location::current());

Verify a container is non-empty