[FOLD] add tests with out-of-line partial specializations

Author: sdkrystian

clang/test/CXX/temp/temp.decls/temp.spec.partial/temp.spec.partial.member/p2.cpp

@@ -20,50 +20,66 @@ struct A {
   static constexpr int x<U*> = 1;
 };
 
+template<typename T>
+template<typename U>
+struct A<T>::B<U[]> {
+  static constexpr int y = 2;
+};
+
+template<typename T>
+template<typename U>
+constexpr int A<T>::x<U[]> = 2;
+
 static_assert(A<short>::B<int>::y == 0);
 static_assert(A<short>::B<int*>::y == 1);
+static_assert(A<short>::B<int[]>::y == 2);
 static_assert(A<short>::x<int> == 0);
 static_assert(A<short>::x<int*> == 1);
+static_assert(A<short>::x<int[]> == 2);
 
 template<>
 template<typename U>
 struct A<int>::B {
-  static constexpr int y = 2;
+  static constexpr int y = 3;
 };
 
 template<>
 template<typename U>
 struct A<int>::B<U&> {
-  static constexpr int y = 3;
+  static constexpr int y = 4;
 };
 
 template<>
 template<typename U>
 struct A<long>::B<U&> {
-  static constexpr int y = 4;
+  static constexpr int y = 5;
 };
 
 template<>
 template<typename U>
-constexpr int A<int>::x = 2;
+constexpr int A<int>::x = 3;
 
 template<>
 template<typename U>
-constexpr int A<int>::x<U&> = 3;
+constexpr int A<int>::x<U&> = 4;
 
 template<>
 template<typename U>
-constexpr int A<long>::x<U&> = 4;
+constexpr int A<long>::x<U&> = 5;
 
-static_assert(A<int>::B<int>::y == 2);
-static_assert(A<int>::B<int*>::y == 2);
-static_assert(A<int>::B<int&>::y == 3);
-static_assert(A<int>::x<int> == 2);
-static_assert(A<int>::x<int*> == 2);
-static_assert(A<int>::x<int&> == 3);
+static_assert(A<int>::B<int>::y == 3);
+static_assert(A<int>::B<int*>::y == 3);
+static_assert(A<int>::B<int[]>::y == 3);
+static_assert(A<int>::B<int&>::y == 4);
+static_assert(A<int>::x<int> == 3);
+static_assert(A<int>::x<int*> == 3);
+static_assert(A<int>::x<int[]> == 3);
+static_assert(A<int>::x<int&> == 4);
 static_assert(A<long>::B<int>::y == 0);
 static_assert(A<long>::B<int*>::y == 1);
-static_assert(A<long>::B<int&>::y == 4);
+static_assert(A<long>::B<int[]>::y == 2);
+static_assert(A<long>::B<int&>::y == 5);
 static_assert(A<long>::x<int> == 0);
 static_assert(A<long>::x<int*> == 1);
-static_assert(A<long>::x<int&> == 4);
+static_assert(A<long>::x<int[]> == 2);
+static_assert(A<long>::x<int&> == 5);