https://bugs.llvm.org/show_bug.cgi?id=42766
Bug ID: 42766
Summary: Rejects valid code claiming "pack expansion does not
contain any unexpanded parameter packs"
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: C++17
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected]
The following well-formed translation unit is rejected by clang as invalid.
template<typename>
bool false_ = false;
struct outer_traits {
using type = int;
};
template<typename... RangeViews>
struct s {
template<typename RangeView>
using traits = outer_traits;
static bool any = (... or false_<typename traits<RangeViews>::type>);
};
clang (all versions that have a -std=c++17 flag) outputs:
<source>:13:21: error: pack expansion does not contain any unexpanded parameter
packs
static bool any = (... or false_<typename traits<RangeViews>::type>);
^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
Compiler returned: 1
See it live: https://godbolt.org/z/L84t58
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
