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


1
2
3
4
5
6
7
8
9
10
11
12
13
14

// { dg-do compile { target c++20 } }
// { dg-additional-options "-fconcepts" }
template <class T>
concept True = true;

template <class T>
struct S {
  friend bool operator==(S, int) requires (True<T>) { return true; }
  friend bool operator==(S, int) requires (!True<T>) { return true; }
};

int main() {
  S<int> s;
}