gcc/testsuite/g++.dg/cpp2a/concepts-pr68093-1.C

   1 // { dg-do compile { target c++20 } }
   2 template <typename t>
   3 struct S
   4 {
   5   template <typename t2>
   6     requires false
   7   friend void foobar(S, t2) {}
   8 };
   9
  10 int main()
  11 {
  12   foobar(S<double>{}, int{}); // { dg-error "" }
  13 }