[Bug c++/53786] [C++11] alias template - error on valid code

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2013-04-04 16:55:32 UTC ---
This looks like issue 1430:

  http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1430

As in the example in the issue description, here there is no way to express
tail_<types...> in terms of list and types, so I think this will also be
ill-formed.  Other people on the committee seem to agree with me.

Of course, we shouldn't ICE.