1// PR c++/59044
2
3template <class T>
4class C {
5private:
6  template <T a, T b>
7  struct Implementation {};
8public:
9  typedef typename Implementation<0, 0>::Typedef Type;
10};
11
12template <class T>
13template <T b>
14struct C<T>::Implementation<0, b> { typedef void Typedef; };
15
16template class C<unsigned>;
17