Deduced type hint for auto variables (non-template case)

Hi! I'm a student doing a scientific project in C++ using CLion / Resharper C++. Also I use Kotlin for a side project, and I'm in love with it!

Intellij Idea has got a beautiful "type hints" feature:

C++, on the other hand, has a historical style, which is contradictory to all the other languages:

Also it's got Almost Always Auto (AAA) style, which has taken off recently in part due to C++17 improvements:

This approach has the advantage that it eliminates any possibility of implicit conversion. Unfortunately, now readability suffers.

CLion / Resharper C++ should help in such cases by showing type hints, as they already do for function parameter names. No type hints should be shown when the variable is initialized with a constructor invokation, or when type on the right uses type traits (as with iterators), or is just overly complex (expression templates).