What is the result of `requires { typename T::value_type; t.begin(); }` when used inside a concept, for a type `T` that lacks a `value_type` typedef?
template <typename T>
concept HasParts = requires(T t) {
typename T::value_type;
t.begin();
};