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: [email protected]
ReportedBy: [email protected]
CC: [email protected], [email protected]
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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
