Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/g++.dg/concepts/placeholder4.C @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // PR c++/66218
kono
parents:
diff changeset
2 // { dg-options "-std=c++17 -fconcepts" }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 template <class T, class U>
kono
parents:
diff changeset
5 concept bool Same = __is_same_as(T, U);
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 template <class T>
kono
parents:
diff changeset
8 concept bool C =
kono
parents:
diff changeset
9 requires {
kono
parents:
diff changeset
10 { 0 } -> Same<T>;
kono
parents:
diff changeset
11 };
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 template <class T>
kono
parents:
diff changeset
14 struct A {
kono
parents:
diff changeset
15 template <T t, C c>
kono
parents:
diff changeset
16 constexpr static bool f() { return true; }
kono
parents:
diff changeset
17 };
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 static_assert(A<int>::f<1,double>(), ""); // { dg-error "" }
kono
parents:
diff changeset
20 static_assert(A<char>::f<'a',int>(), "");