Template:cpp/iterator/dsc indirectly readable traits