[PATCH] D43153: [clang] Implement P0692 "Access Checking on Specializations"

[Richard Smith - zygoloid via Phabricator via cfe-commits]

rsmith added a comment.

How do you avoid suppressing diagnostics in the declaration of a template that is not a partial specialization? For example:

  class A { class B {}; };
  template<typename T> A::B x; // error, but...
  template<typename T> A::B x<T*>; // ok!

I would expect you'd need to delay the access checking diagnostics here until the declaration is complete and you find out whether you have a partial specialization or not.


Repository:
  rC Clang

https://reviews.llvm.org/D43153