Testcase: template <int> struct A { typedef int I; };
template <class T> typename A<T() >::I foo (T) { return 0; } ----- I found this while looking at PR 27402. This is not a regression as it did not work in 2.95 on wards. -- Summary: T() can be an integer constant but is rejected as not one Product: gcc Version: 4.2.0 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=27403