[llvm-bugs] [Bug 26435] New: CWG 1388; Invalid deduction of non-trailing template parameter pack

[via llvm-bugs]

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

            Bug ID: 26435
           Summary: CWG 1388; Invalid deduction of non-trailing template
                    parameter pack
           Product: clang
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++14
          Assignee: unassignedclangbugs at nondot.org
          Reporter: r.hl at gmx.net
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

template <typename... T, typename... U>
void f(T..., U...) {}

int main() {f();}

---

This shouldn't compile. Although U is deduced to the empty pack via
[temp.arg.explicit]/3, T isn't, because it isn't trailing. I.e. this code
should yield a deduction failure.

-- 
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/20160202/743b92b2/attachment.html>