How to test if a type exists in a concept?

Question

How can I test if a member type exists in a concept template argument, i.e. for typename Container, test for Container::reverse_iterator ? What's the proper requires-clause ?

Answer 1

We do this with the aptly named type requirement:

template<class Container>
concept has_reverse_iterator = requires {
    typename Container::reverse_iterator;
};