================
@@ -1836,7 +1836,19 @@ static TemplateParameterList
*GetTemplateParameterList(TemplateDecl *TD) {
// Make sure we get the template parameter list from the most
// recent declaration, since that is the only one that is guaranteed to
// have all the default template argument information.
- return cast<TemplateDecl>(TD->getMostRecentDecl())->getTemplateParameters();
+ Decl *ND = TD->getMostRecentDecl();
+ // Skip past friend Decls because they are not supposed to contain default
+ // template arguments. Moreover, these declarations may introduce template
+ // parameters living in different template depths than the corresponding
+ // template parameters in TD, causing unmatched constraint substitution.
+ //
+ // C++23 N4950 [temp.param]p12
----------------
Sirraide wrote:
> I think this function is not only used for class templates, but also for
> function templates. For function templates, there is an exception per the
> standard (temp.param 12): If a friend function template declaration specifies
> a default template-argument, that declaration shall be a definition and shall
> be the only declaration of the function template in the translation unit.
In that case it’d make sense to add a test for a friend function template as
well if there isn’t already one to make sure this change doesn’t break that.
https://github.com/llvm/llvm-project/pull/86914
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
