https://bugs.llvm.org/show_bug.cgi?id=48780
Bug ID: 48780
Summary: Assertion fail with nested requires requires and
varadic template
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: C++2a
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected]
```
template <typename T> struct StructWithMember;
template <typename T>
concept NestedRequiresRequires = requires {
requires requires { StructWithMember<T>::value; };
};
template <NestedRequiresRequires... T> struct Variadic {};
constexpr Variadic<int> a;
```
This trips an assertion:
Assertion `!isExprSubstitutionFailure() && "ExprRequirement has no expression
because there has been a " "substitution failure."' failed.
This minimal reproduction doesn't crash when compiled by a -NDEBUG build of
clang, but I have seen crashes in -NDEBUG builds related to this issue in more
complex code. So the probablem isn't just an incorrect assertion.
--
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
