gcc/testsuite/g++.dg/cpp2a/concepts-uneval5.C

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