https://bugs.llvm.org/show_bug.cgi?id=49702
Bug ID: 49702
Summary: ICE when binding template template arguments with
constrained NTTPs
Product: clang
Version: unspecified
Hardware: PC
OS: Windows NT
Status: NEW
Severity: enhancement
Priority: P
Component: C++2a
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected]
The following snippet:
```c++
template<typename T>
concept C = true;
template<template<C auto...> typename Templ>
struct template_ {};
template<C auto... Args>
struct template_binder
{
template<template<C auto...> typename Templ>
using templ = Templ<Args...>;
};
using T = template_<template_binder<>::template templ>;
```
Live demo: https://godbolt.org/z/7KExM4dh4
What is interesting is that removing the concept eliminates the ICE,
but clang rejects the code in this case (which is wrong).
Also,
gcc rejects the code as well (which is wrong).
MSVC accepts the code.
--
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
