[Bug c++/30818] [4.1/4.2/4.3 Regression] templates and typedefs cause function prototype not to match

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2007-02-16 11:25 -------
EDG happily eats this.  With mainline the error looks like

t.ii:18: error: prototype for ‘typename A<T>::B::type A<T>::B::f()’ does not
match any in class ‘A<T>::B’
t.ii:13: error: candidate is: typename A<T>::type A<T>::B::f()
t.ii:18: error: ‘typename A<T>::B::type A<T>::B::f()’ cannot be overloaded
t.ii:13: error: with ‘typename A<T>::type A<T>::B::f()’
t.ii:18: error: template definition of non-template ‘typename A<T>::B::type
A<T>::B::f()’


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |rejects-valid
      Known to fail|4.1.2                       |4.1.2 4.2.0 4.3.0
   Last reconfirmed|0000-00-00 00:00:00         |2007-02-16 11:25:02
               date|                            |
            Summary|[4.1.2 Regression] templates|[4.1/4.2/4.3 Regression]
                   |and typedefs cause function |templates and typedefs cause
                   |prototype not to match      |function prototype not to
                   |                            |match


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