Testcase: template< int C > int assertion_failed( int); template< class > struct N { static int const okay = 1; static int const t = sizeof( assertion_failed<okay>( 0)) ; }; int main() { N<int> n; return n.t; }
-- Summary: [4.0 Regression] rejects valid template argument Product: gcc Version: 4.0.4 Status: UNCONFIRMED Keywords: rejects-valid Severity: normal Priority: P3 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: pinskia at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29522