[Bug c++/34055] [4.3 regression] ICE with invalid specialization of variadic template

[reichelt at gcc dot gnu dot org]

------- Comment #2 from reichelt at gcc dot gnu dot org  2007-12-08 20:50 -------
Trivially modified versions of the testcase - using T& or T() instead of T* -
still fail:

================================================
template<typename...> struct A;

template<typename...T> struct A<T&>
{
  void foo();
};

template<typename...T> void A<T&>::foo() {}
================================================

bug.cc:3: error: parameter packs not expanded with `...':
bug.cc:3: note:         'T'
bug.cc:8: internal compiler error: same canonical type node for different types
<typeprefixerror>& and T&
Please submit a full bug report, [etc.]

================================================
template<typename...> struct A;

template<typename...T> struct A<T()>
{
  void foo();
};

template<typename...T> void A<T()>::foo() {}
================================================

bug.cc:3: error: parameter packs not expanded with `...':
bug.cc:3: note:         'T'
bug.cc:8: internal compiler error: same canonical type node for different types
<typeprefixerror>()() and T ()()
Please submit a full bug report, [etc.]


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|FIXED                       |


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