blob: a315a59b828638c08bd4e573438a118238f4b4a0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// PR c++/103714
// { dg-do compile { target c++20 } }
template<int I>
struct A {
static const int i = I;
template<int J>
void f(A<J> d = {}) requires (d.i != i) {
f<I>(); // { dg-error "no match" }
}
};
int main() {
A<0> a;
a.f<1>();
}
|