// PR c++/17695
template<typename T> struct A
{
T t;
A();
};
struct B
B() { typedef int C; A<C> a; }
} b;