6 Library introduction [library]

6.3 Library-wide requirements [requirements]

6.3.4 Constraints on programs [constraints]

6.3.4.2 Derived classes [derived.classes]

Virtual member function signatures defined for a base class in the Ranges library may be overridden in a derived class defined in the program ( ISO/IEC 14882:2014 §[class.virtual]).