comparison gcc/testsuite/g++.dg/concepts/placeholder3.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 // PR c++/66218 1 // PR c++/66218
2 // { dg-do compile { target c++17 } } 2 // { dg-do compile { target c++17_only } }
3 // { dg-options "-fconcepts" } 3 // { dg-options "-fconcepts" }
4 4
5 template <class T, class U> 5 template <class T, class U>
6 concept bool Same = __is_same_as(T, U); 6 concept bool Same = __is_same_as(T, U);
7 7
8 template <class T> 8 template <class T>
9 concept bool C = 9 concept bool C =
10 requires { 10 requires { // { dg-message "in requirements" }
11 { 0 } -> Same<T>; 11 { 0 } -> Same<T>; // { dg-message "does not satisfy" }
12 }; 12 };
13 13
14 template <C c> 14 template <C c>
15 constexpr bool f() { return true; } 15 constexpr bool f() { return true; }
16 16