https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86960
--- Comment #5 from Alexandre Oliva <aoliva at gcc dot gnu.org> --- Created attachment 45631 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45631&action=edit hack that allows the testcase to compile This patchlet enables compilation of the testcase, but it's most definitely wrong. First, the comments right above suggest we do NOT want to do this; we probably want to only do this when we're about to eliminate an outer template level containing the pack. Also, we must somehow deal with packs containing more than one type; alas, returning the pack itself is rejected by invalid_nontype_parm_type_p, and I'm not sure we should make packs acceptable to it. Anyway, this is as far as I got in this shift.