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.
