template <class T>
requires {
typename std::remove_cvref_t<T>::Item;
requires Iterator<T, typename std::remove_cvref_t<T>::Item>;
}
A concept for testing if a type T is an Iterator without testing its Item type.
T
Iterator
Item