1 // PR c++/18161
2 // { dg-options "" }
3 
4 template <class T> struct Y;
5 template <> struct Y<bool> {};
6 
7 template <typename T = typeof (1 == 1)> struct X { Y<T> a; };
8 template struct X <>;
9