gcc/testsuite/g++.dg/cpp2a/concepts-pr67225-4.C


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

// PR c++/67225
// { dg-do compile { target c++20 } }
// { dg-additional-options "-fconcepts" }

template <class, class>
concept C1 = true;

template <class>
concept C2 = requires { { 42 } -> C1<int>; };

int main() {
    class A { int x; } a;
    a.x = 42; // { dg-error "private within this context" }
}