Description Nathan Ridge 2012-01-05 19:36:14 EST

In the following code:

template <typename>
class A {};

template <typename, typename = void>
struct B {};

template <typename T>
struct B<A<T>>
{
    typedef int type;
};
    
int main()
{
    typedef B<A<int>>::type type;  // ERROR HERE
}

CDT gives an error at the indicated line: "Type 'B<A<int>>::type' could not be resolved".

GCC compiles the code fine.