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

    <tr>
        <th>Summary</th>
        <td>
            A/F "friend function specialization without template args" on illegal C++
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          jmorse
      </td>
    </tr>
</table>

<pre>
    Hi,

Behold this bogus template specialisation:

    template <a> class b {
 template <> friend int c< b >() {}
    };

Clang / GCC / MSVC all reject this with errors and diagnostics. With assertions enabled however, clang fires the following assertion failure rather than completing:

 clang: /path/clang/lib/Sema/SemaDecl.cpp:10454: clang::NamedDecl *clang::Sema::ActOnFunctionDeclarator(clang::Scope *, 
 clang::Declarator &, clang::DeclContext *, clang::TypeSourceInfo *, clang::LookupResult &, clang::MultiTemplateParamsArg,
        bool &): Assertion `HasExplicitTemplateArgs && "friend function specialization without template args"' failed.

when building with the very recent 22044f0bde015f4bf53fca24831d030ff96efc51. Godbolt link of the same: https://godbolt.org/z/7jabnhEY9 . Fiddling with Godbolt, it appears the assertion failure appeared in the 14.0.0 release, and isn't present in the 13.0.0 release.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJykVEGT2yYY_TX48k00CJBtHXSQtaukM03baTLt9IjQJ4kNAg2g3Wx-fQfZXnu2udUHY4v3nniPBzIEPVrEihQnUjzs5Bon56un2fmAu871r9UnTVhD6AOh9fn7hJMzPcRJB-jcuAaIOC9GRoSwoNLS6CCjdpbw-p4HADck4Y0k_BGUkSFAB-RwuqDuIQkxeI22B20jKMKbhOWPhB0JKzfW4eEmn_7w0_1LGyPtCIS18LFptvHzl78akMaAxydU8ezjRccJ0HvnA0jbQ6_laF2IWoUM_k6TMgT0yVUAtLIz2MPkXvAZPWFNsmFHGLTHAHFCGJwx7kXb8caDQWqzegQv44Qe4iQtKDcvBqO24_uwNkXC67TmRcaJsPb8iLVGd4S1X3CWl-EBlcnUshBe51QUItGufMLr3-SMfcIAYfXd801h-1Wr-LttV6vSQhNSehmdJ-x4D1duwSSRDL9bJeH1jQaE7d9CuU02zkb8Hq8Kd7NfXxf84lav8Bc7uJ8AfnXu27r8iWE18Sfqn1cT9ddLb_6QXs6h9uNbbeHy6ZwzZ3aZEqrfdobs6ScZHr8vRisdr0K1H8MZvgfC2KWHwyWlt67_2Lq-Ncit8VZf6cdAGCPssO089tn9_r5MaKFbtelTSbb6pd48o38FjwptBMaoEAPteqR5MYhuKPigJBNHnveU02Eo9zioIs_go-s7ZyIYbb-BGzalIGdMLqcYl5BiYi1h7XhGZi7F0_4grD08yc5Oj_-UkEGr-968reeimrLWEeSyoPTndv-30-dZTMd0Q-QioxkFjwZlwCSRTpUOlrBDhMVjSA6vYH4PznZ9xfuSl3KHVb4vuTgKWpS7qaIq531RCLVnUhZIC9oV5VEJ0fOOsr3c6YpRxumR5znLBT1kgu6FEMMxL_mAjCoiKM5Sm8yY5zmFsNMhrFjti5yXOyM7NOF6FfoqgT506xiIoEaHGG60qKPBKoXa_o9ugLOgjcFRGmgIOxF22q3eVO_2TMdp7TLl5nT2zfN1-LB4l24wwtrNRSCs3Yz8GwAA__85LNkA">