comparison gcc/testsuite/g++.dg/concepts/placeholder6.C @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
1 // { dg-do compile { target c++17 } } 1 // { dg-do compile { target c++17_only } }
2 // { dg-options "-fconcepts" } 2 // { dg-options "-fconcepts" }
3 3
4 template <int I> struct B { static const int i = I; }; 4 template <int I> struct B { static const int i = I; };
5 template <int I> concept bool Few = I < 10; 5 template <int I> concept bool Few = I < 10;
6 6
7 constexpr int g(B<Few> b) { return b.i; } 7 constexpr int g(B<Few> b); // { dg-error "does not constrain a type|invalid" }
8 8
9 #define SA(X) static_assert((X),#X)
10 SA(g(B<2>{}) == 2);
11 SA(g(B<10>{}) == 10); // { dg-error "" }