Skip to content

Commit a37ce28

Browse files
committed
[clang] treat deduced-as-dependent as undeduced for cosntant template parameters
The AutoType's deduced-as-dependent mechanism is not really used for constant template parameters, but this is currently harmless to ignore because when dealing which such types, they will have been transformed, turning them back to plain undeduced AutoTypes. This should be NFC for current main users, but #141776 will depend on this.
1 parent 078e99e commit a37ce28

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

clang/lib/Sema/SemaTemplate.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7102,7 +7102,7 @@ ExprResult Sema::CheckTemplateArgument(NamedDecl *Param, QualType ParamType,
71027102

71037103
// If the parameter type somehow involves auto, deduce the type now.
71047104
DeducedType *DeducedT = ParamType->getContainedDeducedType();
7105-
bool IsDeduced = DeducedT && !DeducedT->isDeduced();
7105+
bool IsDeduced = DeducedT && DeducedT->getDeducedType().isNull();
71067106
if (IsDeduced) {
71077107
// When checking a deduced template argument, deduce from its type even if
71087108
// the type is dependent, in order to check the types of non-type template

0 commit comments

Comments
 (0)