--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/clang/test/PCH/cxx2a-requires-expr.cpp	Thu Feb 13 15:10:13 2020 +0900
@@ -0,0 +1,20 @@
+// RUN: %clang_cc1 -emit-pch -std=c++2a -o %t %s
+// RUN: %clang_cc1 -std=c++2a -x ast -ast-print %t | FileCheck %s
+
+template<typename T>
+concept C = true;
+
+template<typename T, typename U>
+concept C2 = true;
+
+template<typename T>
+bool f() {
+  // CHECK: requires (T t) { t++; { t++ } noexcept -> C; { t++ } -> C2<int>; typename T::a; requires T::val; };
+  return requires (T t) {
+    t++;
+    { t++ } noexcept -> C;
+    { t++ } -> C2<int>;
+    typename T::a;
+    requires T::val;
+  };
+}