Don't return reflections of partial template specializations.

Closes llvm#83.

Author: katzdm

clang/lib/Sema/Metafunctions.cpp

@@ -1081,6 +1081,10 @@ static bool isReflectableDecl(ASTContext &C, const Decl *D) {
     if (Class->isInjectedClassName())
       return false;
 
+  if (isa<ClassTemplatePartialSpecializationDecl,
+          VarTemplatePartialSpecializationDecl>(D))
+    return false;
+
   return D->getCanonicalDecl() == D;
 }
 

libcxx/test/std/experimental/reflection/members-and-subobjects.pass.cpp

@@ -155,13 +155,17 @@ void fn();
 struct Cls {};
 using Alias = int;
 
-template <typename T> class TCls {};
+template <typename T1, typename T2> class TCls {};
 template <typename T> void TFn() {}
 ;  // Empty declarations should not be represented in 'members_of'.
-template <typename T> int TVar = 0;
+template <typename T1, typename T2> int TVar = 0;
 template <typename T> using TAlias = int;
 template <typename T> concept Concept = requires { true; };
 
+// Partial specializations are not representable in P2996.
+template <typename T2> class TCls<int, T2> {};
+template <typename T2> int TVar<int, T2> = 1;
+
 }  // namespace myns
 
 static_assert(members_of(^myns).size() == 9);