Description:

This concept is for internal use. It is satisfied if the given type T fits into the placeholder, is copy-constructible and trivially destructible.

Template Parameters

T	The type to test.
TVal	Decayed version of T. Deduced by the compiler, must not be given.

Definition at line 303 of file boxingtraits.inl.

Concept definition

template<typename T, typename TVal ALIB_TVALUE(T)>
concept alib::boxing::IsStdPH =         sizeof(std::conditional_t<std::same_as<void, TVal>, void*, TVal>)
                     <= sizeof(Placeholder)
                 &&  std::is_copy_constructible    <TVal>::value
                 &&  std::is_trivially_destructible<TVal>::value