By everywhere, I mean where it's otherwise obvious:

    auto s = "Hello world";
    for (auto c: s) {
        cout << c;
    }

Those autos don't need to exist, they're completely inferable, otherwise you wouldn't use auto. It's not like you can use auto in function declarations, nor should you, I agree.

I always write std::string etc. in those cases. It is consistent and quicker to read and there is not tangible benefit to using auto.

Right, but my point is that there's really no tangible benefit to writing the type at all. In a language with good type inference (Haskell, ml, modern python), the string literal is known to be a string, and you don't need to do any extra work.