Template:cpp/iterator/dsc weakly incrementable