// PR c++/17695

template<typename T> struct A
{
  T t;
  A();
};

struct B
{
  B() { typedef int C; A<C> a; }
} b;