c++/8578: cast typename operator

[bangerth@dealii.org]

Synopsis: cast typename operator

State-Changed-From-To: open->analyzed
State-Changed-By: bangerth
State-Changed-When: Thu Nov 14 07:23:53 2002
State-Changed-Why:
    Confirmed. This is a slightly simpler case:
    ---------------------------
    template <class K> struct A {
        typedef typename K::val val;
        operator val ();
    };
    
    template <class K>
    A<K>::operator typename A<K>::val () {}
    ----------------------------------
    
    I'm quite sure there are duplicated of this in the database,
    but can't seem to find them.
    
    W.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8578