gcc/testsuite/g++.dg/template/expr1.C

// PR c++/18161
// { dg-options "" }

template <class T> struct Y;
template <> struct Y<bool> {};

template <typename T = typeof (1 == 1)> struct X { Y<T> a; };
template struct X <>;