template<typename T>
typename T::value_type;
typename T::iterator;
typename T::const_iterator;
{ t.begin () } -> std::same_as<typename T::iterator>;
{ t.end () } -> std::same_as<typename T::iterator>;
{ t.size () } -> std::convertible_to<std::size_t>;
}
Definition at line 58 of file traits.h.