original::NotNull Concept Reference

Ensures the parameter pack is not empty. More...

#include <types.h>

Concept definition

template<typename... ARGS>
concept original::NotNull =  sizeof...(ARGS) > 0

Detailed Description

Ensures the parameter pack is not empty.

Template Parameters

ARGS	Variadic template parameter pack to check

This concept checks that at least one type is provided in the parameter pack. Useful for enforcing non-empty template parameter lists.

static_assert(NotNull<int>);         // Succeeds
static_assert(!NotNull<>);           // Fails