Description Nathan Ridge 2016-12-13 17:24:01 EST

In this code:

template <typename T>
struct meta {
    typedef T type;
};

template <typename T>
typename meta<T>::type foo(T);

int main() {
    auto waldo = foo(42);
}

if you hover over the "auto" in the declaration of "waldo", the type shown in the hover is "meta<int>::type". There's no reason we can't evaluate this and show the resulting type, "int".