2017-10-27 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/71385
* g++.dg/concepts/pr71385.C: New.
From-SVN: r254139
2017-10-27 Paolo Carlini <paolo.carlini@oracle.com>
+ PR c++/71385
+ * g++.dg/concepts/pr71385.C: New.
+
+2017-10-27 Paolo Carlini <paolo.carlini@oracle.com>
+
PR c++/80739
* g++.dg/cpp1y/constexpr-80739.C: New.
--- /dev/null
+// { dg-options "-std=c++17 -fconcepts" }
+
+template<class T>
+concept bool Addable(){
+ return requires(T x){
+ {x + x} -> T;
+ };
+}
+
+int main(){
+ Addable t = 0;
+}