[Bug c++/18161] [4.0 regression] typeof(1==1) is now int instead of bool in template default arguments

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-26 13:34 -------
Here is a testcase which we can see the problem with rejecting the code (which is very useful for the 
regression hunter :) ):
template <class T> struct Y;
template <>struct Y<bool>{};

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

: Search converges between 2004-09-27-161002-trunk (#564) and 2004-09-28-014001-trunk 
(#565).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-10-26 13:34:27
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18161