https://llvm.org/bugs/show_bug.cgi?id=24625
Bug ID: 24625
Summary: Clang incorrectly accepts non-type template parameter
pack expansion of a parameter pack declared in the
same template-parameter-list
Product: clang
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: C++
Assignee: unassignedclangb...@nondot.org
Reporter: brunocodu...@gmail.com
CC: dgre...@apple.com, llvm-bugs@lists.llvm.org
Classification: Unclassified
The following is incorrectly accepted by clang (and GCC but not MSVC 14)
template<typename...>
struct foo;
template<typename... t, t... v>
struct foo<std::integral_constant<t, v>...>
{
using type = foo;
};
using bar = foo<std::integral_constant<int, -1>, std::true_type>::type;
[temp.param]/p15:
"A template parameter pack that is a pack expansion shall not expand a
parameter pack declared in the same template-parameter-list."
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
