aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp2a/concepts-p2092.C
blob: f293581a75ad5883bcfbfaa23e2e8eaede24d079 (plain)
1
2
3
4
5
6
7
8
// P2092R0
// { dg-do compile { target concepts } }

template <class T>
concept Bar = requires (T::type t) { ++t; };

template <class T>
concept Foo = requires { requires { T(); }; }; // { dg-error "" }