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 "" }
|