Description Nathan Ridge 2012-01-10 22:40:45 EST

In the following code:


template <class Value>
struct iterator
{
    Value operator*();
};

template <typename Iterator>
struct range
{
    Iterator begin();
};

template <typename T>
struct A
{
    struct iterator_t : public iterator<T> {};

    typedef range<iterator_t> range_t; 
};

struct S
{
    int x;
};

int main()
{
    A<S>::range_t r;
    auto cur = r.begin();
    auto e = *cur;
    e.x;            // ERROR HERE: "Field 'x' could not be resolved"
}


Something goes wrong in the two 'auto' type deductions in main(), and as a result CDT doesn't seem to know that the type of 'e' is 'S'.

Interestingly, if I change the first line in main() to:

range<A<S>::iterator_t> r;

(which is the same type, just referred to in a different way), it works!