| Issue |
130778
|
| Summary |
No match for non-type template template parameter
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
n0F4x
|
The following code compiles with 19.1.0 but not with 20.1.0
```cpp
template <typename>
struct check {};
template <
typename T,
template <typename, T> typename Sequence_T,
T value_T>
struct check<Sequence_T<T, value_T>> {
constexpr static bool value = true;
};
template <typename T, T>
struct Sequence {};
static_assert(check<Sequence<int, 0>>::value);
```
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
