blob: 51282d93a5d302ec1ab3a10226267a549258f694 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// { dg-do compile { target c++17 } }
// { dg-options "-fconcepts" }
template <int I> struct B { static const int i = I; };
template <int I> concept bool Few = I < 10;
constexpr int g(B<Few> b) { return b.i; }
#define SA(X) static_assert((X),#X)
SA(g(B<2>{}) == 2);
SA(g(B<10>{}) == 10); // { dg-error "" }
|
