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