Fun with pathological templates

[Matthew Woehlke]

Is this valid C++?

template <typename T> struct x {};
x<int(&)[5>8?7:9]> freaky;

Clang says yes, gcc says "template argument 1 is invalid". Who is correct?

--
Matthew

[bogdan]

I guess it hinges on what "nested" means in [temp.names]/3, and there's a CWG issue on that: CWG579.

EDG accepts it, MSVC rejects it. Both GCC and MSVC accept it if you enclose the array bound in parentheses.