cpp/named req/ConstexprIterator

A is a  that can be used during constant expression evaluation.

Requirements
The type satisfies  if


 * The type satisfies some iterator requirements

And, for every
 * , an operation on that is required to be supported by ,
 * , a set of arguments to that meets the requirements for that operation,

Then


 * may be used in a constant expression if can also be used.

Standard library
The following standard library types are s.


 * and.
 * and.
 * and.
 * and.