================
@@ -5597,6 +5566,22 @@ bool Sema::CheckTemplateArgument(NamedDecl *Param,
TemplateArgumentLoc &ArgLoc,
if (NTTP->isParameterPack() && NTTP->isExpandedParameterPack())
NTTPType = NTTP->getExpansionType(ArgumentPackIndex);
+ // C++26 [dcl.type.auto.deduct]p3:
+ // If the placeholder-type-specifier is of the form type-constraint_opt
+ // auto, [...] If E is a value synthesized for a constant template
+ // parameter of type decltype(auto) ([temp.func.order]), the declaration
+ // is ill-formed.
+ auto isUndeducedAuto = [](QualType T, bool DecltypeAuto) {
----------------
zyn0217 wrote:
I feel we used this pattern elsewhere too, maybe this is worth a helper in
ASTContext?
https://github.com/llvm/llvm-project/pull/224291
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
