Concept definition

template<typename SmartPointer, typename T>
concept StormByte::Safe::ValidSmartPointer = 
            Type::SameAs<SmartPointer, Shared<T>> ||
            Type::SameAs<SmartPointer, Unique<T>>

Detailed Description

true when SmartPointer is StormByte::Safe::Shared<T> or StormByte::Safe::Unique<T>.

Template Parameters

SmartPointer	Candidate pointer type.
T	Pointee type.

std::shared_ptr<T> and std::unique_ptr<T> are not accepted.