<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/57607>57607</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            classTemplateSpecializationDecl does not work as described
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          florianschanda-bmw
      </td>
    </tr>
</table>

<pre>
    Hi,

I am trying to write a clang-tidy check and I have done this:
```
void PotatoCheck::registerMatchers(MatchFinder *Finder) {
  Finder->addMatcher(classTemplateSpecializationDecl().bind("x"), this);
}

void PotatoCheck::check(const MatchFinder::MatchResult &Result) {
  const auto *MatchedDecl = Result.Nodes.getNodeAs<Decl>("x");
  diag(MatchedDecl->getLocation(), "instantiation");
}
```

The documentation for classTemplateSpecializationDecl says:
```
Given
  template<typename T> class A {};
  template<> class A<double> {};
  A<int> a;
classTemplateSpecializationDecl()
  matches the specializations A<int> and A<double>
```

But it doesn't. It matches the first two, not the last two:
```
foo.cpp:1:30: warning: instantiation [misc-Potato]
  template<typename T> class A {};
                             ^
foo.cpp:2:20: warning: instantiation [misc-Potato]
  template<> class A<double> {};
                   ^
```

(foo.cpp contains precisely the three lines copied from the documentation.)

I am assuming I did something obviously wrong with the way I have set up the matcher? In which case I apologize for the noise.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJylVduS4jYQ_Rr7pQuXsbGBBz8ww5BQlaRSyfyALDW2EltySTIO-_VpyTALuzO7WwmFjdStbp0-faHW4lL9LKPsOUr3Ubqb30dgPThzkaoBp2Ey0iEw4B1TzcJJcQHeIv8bmBJwhJadEYRWCK6VNsqvTqIyvX7D9qylgN-1Y04_e2N_Lt8ZbKR1aH5ljlwaG2WbsDxIJdBAlO3mVZRtIVo_za4AZuEiyl-YEFdbMiWA1r5iP3TM4Z8Dcsk6-Yk5qdUeeUcnyE9Sk3FYZv_QQxKKfoZOy_x6R7Te3zPyPvrAgr9XK-vgDvisDoI_0I6do0jKefVFJLMpG4lmCnYORXiwEOV7mE2S37RAmzTo_GJHFD-HcPKXxzDyN69CsuZG5ezOc0UOftE80DFT4QMnW0kQmHLyqsne5-ExnfP7tfWZ52OPygVrOGkD30kDWHb5sEx-kmdUtzDc1QcF7C4DKtYjvFIg8w2wC0QSwM-B31ncnaOd0GPdoZd9ZePVUjmvY2_iHyqlm4c-8GypiBDsw1n74J3a5QHLN5h9Gh1IR-SipZSsXQJH93DPSRoqHDdpn0SlXRAS6Fn2AbsnrRM-DKRe0pOn9IKJGUWN7pcPhQBR8dRLyxdz2UfF_r-n5RufqHj5Elvmn_-P7YcL4GNM76aGcn_F6rvXMUIGg6GsW-wuIQ2uNUjJkIpyxfUgUcDJ6D7oHtoleSuiu8FLiMfej94j9bEAq3uk6UR7XZ-lHi1dMhlN-0m6Nvic2OU2hy06GIcg7a9zMT_AUcHUSt4CZxbpKBt0pxv5CUO_-sNKE_wkxmpZlllRFPm2jEWVi22-ZbGTrsPqe23tazVU4qQN_TdYoKHFjaxRxKPpqta5IbR9dqBvQ9jHOuG6p03XnW8_i8Hov5DTmDxI4gFpKB-KdZmu47bi6-12s8xrvkxXbF3wVb3NxKos2GlTnDjbxB2rsbMVFQdVRCyrLM2ydJuul1lR5mWyZJyOklG-OeWrrIxWKfZMdom_ONGmiU0VMNRjY0nZ0V-T_ayk6GWjEG_-aWi32lSnThvJlOUt9Tdb1P0UB-RVgP0vMkxCgw">