gcc/testsuite/g++.dg/concepts/friend2.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4   concept bool Eq() { return requires(T t) { t == t; }; }
   5
   6 template<Eq T> struct Foo { };
   7
   8 template<typename T>
   9   struct S { // { dg-error "constraint failure" }
  10     template<Eq U> friend class Bar;
  11
  12     friend class Foo<T>;
  13   };
  14
  15 struct X { };
  16
  17 int main() {
  18   S<int> si; // OK
  19   S<X> sx;
  20 }