1 files changed, 51 insertions, 0 deletions
diff --git a/clang/test/CXX/temp/temp.constr/temp.constr.normal/p1.cpp b/clang/test/CXX/temp/temp.constr/temp.constr.normal/p1.cpp
index 95fe35b4591..153d4a56bea 100644
--- a/clang/test/CXX/temp/temp.constr/temp.constr.normal/p1.cpp
+++ b/clang/test/CXX/temp/temp.constr/temp.constr.normal/p1.cpp
@@ -16,3 +16,54 @@ template<typename T> requires Bar2<T> struct S2 { };
 template<typename T> requires Bar2<T> && true struct S2<T> { };
 // expected-error@-1{{class template partial specialization is not more specialized than the primary template}}
 // expected-note@-2{{while calculating associated constraint of template 'S2' here}}
+
+namespace type_pack {
+  template<typename... Args>
+  concept C1 = ((sizeof(Args) >= 0) && ...);
+
+  template<typename A, typename... B>
+  concept C2 = C1<A, B...>;
+
+  template<typename T>
+  constexpr void foo() requires C2<T, char, T> { }
+
+  template<typename T>
+  constexpr void foo() requires C1<T, char, T> && true { }
+
+  static_assert((foo<int>(), true));
+}
+
+namespace template_pack {
+  template<typename T> struct S1 {};
+  template<typename T> struct S2 {};
+
+  template<template<typename> typename... Args>
+  concept C1 = ((sizeof(Args<int>) >= 0) && ...);
+
+  template<template<typename> typename A, template<typename> typename... B>
+  concept C2 = C1<A, B...>;
+
+  template<template<typename> typename T>
+  constexpr void foo() requires C2<T, S1, T> { }
+
+  template<template<typename> typename T>
+  constexpr void foo() requires C1<T, S1, T> && true { }
+
+  static_assert((foo<S2>(), true));
+}
+
+namespace non_type_pack {
+  template<int... Args>
+  concept C1 = ((Args >= 0) && ...);
+
+  template<int A, int... B>
+  concept C2 = C1<A, B...>;
+
+  template<int T>
+  constexpr void foo() requires C2<T, 2, T> { }
+
+  template<int T>
+  constexpr void foo() requires C1<T, 2, T> && true { }
+
+  static_assert((foo<1>(), true));
+}