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

[Matheus Izvekov 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}}
----------------
mizvekov wrote:

No worries, I'll do the update here on this PR.

I think it would be good to post on discourse to get some design feedback on that.

If this were actually checked, this would significantly reduce the amount of work required when manually updating tests, to the point that it would be fine for me to not also need to support automatic generation and updates of test expectations for now.

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