2007-12-04 Douglas Gregor <doug.gregor@gmail.com>
authordgregor <dgregor@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 4 Dec 2007 19:27:14 +0000 (19:27 +0000)
committerdgregor <dgregor@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 4 Dec 2007 19:27:14 +0000 (19:27 +0000)
commitd1cc437c65449fb732919bdea73cd6fe53ca9779
treec478f5de91e148280be2fea7572e582a5530a765
parent4c345e65396cd0520f675fe30e44a162c1c8a463
2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>

       PR c++/33091
       * pt.c (unify_pack_expansion): If we didn't deduce any actual
       bindings for the template parameter pack, don't try to keep the
       empty deduced arguments.
       (unify): If a parameter is a template-id whose template argument
       list contains a pack expansion that is not at the end, then we
       cannot unify against that template-id.

2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>

       PR c++/33091
       * g++.dg/cpp0x/variadic-unify.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@130604 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/cp/ChangeLog
gcc/cp/pt.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/cpp0x/variadic-unify.C [new file with mode: 0644]