[LLVMbugs] [Bug 23973] New: Template specialization of non-type template parameter with variadic dependence is not picked

[bugzilla-daemon at llvm.org]

https://llvm.org/bugs/show_bug.cgi?id=23973

            Bug ID: 23973
           Summary: Template specialization of non-type template parameter
                    with variadic dependence is not picked
           Product: clang
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++11
          Assignee: unassignedclangbugs at nondot.org
          Reporter: andreas.noever at gmail.com
                CC: dgregor at apple.com, llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Clang rejects the testcase below with
error: implicit instantiation of undefined template 'Variadic'

GCC does not complain.

Replacing the variadic template with a non variadic one works.

template <typename... Args>
using handler_t = void(*)(Args...);

template <typename HandlerType>
struct Variadic;

template <typename... Args>
struct Variadic<handler_t<Args...>> {

};

/*
// This works
template <typename T>
struct Variadic<handler_t<T>> {

};
*/


void test() {
    Variadic<handler_t<int>> b;
}

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20150627/9e66d47d/attachment.html>