This is the mail archive of the
mailing list for the libstdc++ project.
Nathan Myers <email@example.com> writes:
| Of course it would be much better for the compiler to do that
In fact, it is more profitable that the compiler do optimize, because
std::vector<T>::iterator is just an examplar of a wide programming
style supported by C++.
Middle end people should aim at providing support for supported language
constructs. It should not be the other way around.
Removing the type annotation from std::vector<T>::iterator is not a
fix: it is papering over the issue.