Concept definition

template< typename T, typename ITERATOR_TYPE >
concept typed_range = 
prototype_range < T >
|| ::is_same < non_const < ITERATOR_TYPE >, non_const < typename T::this_iterator > >