[LLVMbugs] [Bug 9020] New: Pack expansion that was already expanded treated as a non-deduced context.

[bugzilla-daemon at llvm.org]

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

           Summary: Pack expansion that was already expanded treated as a
                    non-deduced context.
           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


The following generates a suspicious warning for the partial specialization. 

While the partial specialization member of A<T...> has an argument list
containing a pack expansion in the middle, the pack is already expanded when
A<int, long> is instantiated, so U can be deduced. 

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

  // warns "non-deducible context" ...
  template<typename U>
  struct B<T..., U> { };
};

// ... but works fine. 
A<int, long>::B<int, long, int> a; 

Similar to http://llvm.org/bugs/show_bug.cgi?id=7094 .

-- 
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.