re PR c++/71131 ([concepts] Ill-formed code declaring a variable with a template…

re PR c++/71131 ([concepts] Ill-formed code declaring a variable with a template concept not rejected)

2018-09-26  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/71131
	* g++.dg/concepts/pr71131.C: New.

2018-09-26  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/71127
	* g++.dg/concepts/pr71127.C: New.

From-SVN: r264639

gcc/testsuite/ChangeLog

 2018-09-26  Paolo Carlini  <paolo.carlini@oracle.com>
 
+	PR c++/71131
+	* g++.dg/concepts/pr71131.C: New.
+
+2018-09-26  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/71127
+	* g++.dg/concepts/pr71127.C: New.
+
+2018-09-26  Paolo Carlini  <paolo.carlini@oracle.com>
+
 	PR c++/67655
 	* g++.dg/concepts/pr67655.C: New.
 

gcc/testsuite/g++.dg/concepts/pr71127.C

+// { dg-do compile { target c++14 } }
+// { dg-additional-options "-fconcepts" }
+
+template<template<typename> class T>
+concept bool C = T<int>::value;
+C c = 1;  // { dg-error "invalid reference to concept" }

gcc/testsuite/g++.dg/concepts/pr71131.C

+// { dg-do compile { target c++14 } }
+// { dg-additional-options "-fconcepts" }
+
+template<template<typename> class T>
+concept bool C = true;
+C c = 1;  // { dg-error "invalid reference to concept" }