--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr67654.C	Thu Feb 13 11:34:05 2020 +0900
@@ -0,0 +1,30 @@
+// PR c++/67427
+// { dg-do compile { target c++2a } }
+// { dg-additional-options "-fconcepts-ts" }
+
+template <bool... Values> struct and_c_impl {
+  static constexpr bool value = true;
+};
+
+template <bool ValueFirst, bool... ValuesRest>
+struct and_c_impl<ValueFirst, ValuesRest...> {
+  static constexpr bool value = ValueFirst && and_c_impl<ValuesRest...>::value;
+};
+
+template <bool... Values> constexpr bool and_c() {
+  return and_c_impl<Values...>::value;
+}
+
+template<class T> concept bool C() {
+  return true;
+}
+
+template<class... Tx>
+struct A {
+  A() requires and_c<C<Tx>()...>() = default;
+};
+
+int main() {
+  A<int, double> a;
+  return 0;
+}