Template matching bug

[Todd Veldhuizen]

Here's a template matching case that isn't implemented yet.  It looks 
weird, but is legal according to John Spicer of EDG:

template<class T>
class Array {
public:
    typedef T T_numtype;
};

template<class T_array>
void f(T_array, typename T_array::T_numtype)
{
}

void g()
{
    f(Array<float>(), float());
}