diff gcc/testsuite/g++.dg/concepts/placeholder5.C @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
line wrap: on
line diff
--- a/gcc/testsuite/g++.dg/concepts/placeholder5.C	Thu Oct 25 07:37:49 2018 +0900
+++ b/gcc/testsuite/g++.dg/concepts/placeholder5.C	Thu Feb 13 11:34:05 2020 +0900
@@ -1,4 +1,4 @@
-// { dg-do compile { target c++17 } }
+// { dg-do compile { target c++17_only } }
 // { dg-options "-fconcepts" }
 
 template <class T, class U>
@@ -8,11 +8,11 @@
 template <class T>
 concept bool C =
   requires {
-    { &i } -> const Same<T>*;
+    { &i } -> const Same<T>*; // { dg-error "not a plain type-constraint" }
   };
 
 template <C c>
 constexpr bool f() { return true; }
 
-static_assert(f<double>(), "");	// { dg-error "" }
-static_assert(f<int>(), "");
+static_assert(f<double>(), "");	// { dg-error "unsatisfied|as type" }
+static_assert(f<int>(), ""); // { dg-error "unsatisfied|as type" }