1 // PR c++/88869
2 // { dg-do compile { target c++17 } }
3 
4 template <typename> struct B;
5 template <> struct B<int> {
6   template <typename T> struct C {
7     T e;
8     C (T f) : e(f) {}
9   };
10   void foo () { C c (42); }
11 };
12