[LLVMbugs] [Bug 9023] New: Prematurely diagnoses unexpanded parameter packs

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=9023

           Summary: Prematurely diagnoses unexpanded parameter packs
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++0x
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: schaub.johannes at googlemail.com
                CC: llvmbugs at cs.uiuc.edu, dgregor at apple.com


It looks to me that assuming resolution of core issue #778 is accepted, the
following is valid code

template<typename ...T> 
struct A {
  template<template<T> class ...>
  struct B { };
};

template<int> struct C { };
template<long> struct D { };

int main() {
  A<int, long>::B<C, D> e;
}

Clang errors out (only showing the first relevant error message):

main1.cpp:3:22: error: non-type template parameter type contains unexpanded
parameter pack 'T'
  template<template<T> class ...>

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.