comparison gcc/testsuite/g++.dg/concepts/placeholder5.C @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 // { dg-options "-std=c++17 -fconcepts" }
2
3 template <class T, class U>
4 concept bool Same = __is_same_as(T, U);
5
6 const int i = 0;
7 template <class T>
8 concept bool C =
9 requires {
10 { &i } -> const Same<T>*;
11 };
12
13 template <C c>
14 constexpr bool f() { return true; }
15
16 static_assert(f<double>(), ""); // { dg-error "" }
17 static_assert(f<int>(), "");