[llvm-branch-commits] [clang] [clang] Implement instantiation context note for checking template parameters (PR #126088)

[Vlad Serebrennikov via llvm-branch-commits]

================
@@ -1018,9 +1019,9 @@ namespace cwg62 { // cwg62: 2.9
   struct A {
     struct { int n; } b;
   };
-  template<typename T> struct X {};
-  template<typename T> T get() { return get<T>(); }
-  template<typename T> int take(T) { return 0; }
+  template<typename T> struct X {}; // cxx98-note 6{{template parameter is declared here}}
----------------
Endilll wrote:

Good point about tooling, I think that something along the lines of `-verify-check-directives-order` sounds implementable, and I'll look into that in the future. For now, I would like to see the changes I requested, for consistency with the rest of DR tests if anything else. I can do that myself if you don't have time for this.

https://github.com/llvm/llvm-project/pull/126088