[Bug c++/27403] New: T() can be an integer constant but is rejected as not one

[pinskia at gcc dot gnu dot org]

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