http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51239
--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2013-04-11 15:19:29 UTC --- Created attachment 29859 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29859 initial patch This patch takes the approach the committee seems to be settling on for 1430: just disallowing a pack expansion passed to a fixed alias template parameter. But I don't think it's complete, because I think the rules need to be more complex; for one thing, it ought to allow it for aliases that are equivalent to the template they refer to.