Merge pull request #69116 from slavapestov/fix-apply-variadic-generic-args

Sema: Fix two bugs with type resolution of generic arguments
This commit is contained in:
Slava Pestov
2023-10-11 15:00:07 -04:00
committed by GitHub
9 changed files with 150 additions and 61 deletions

View File

@@ -17,6 +17,7 @@
#include "CSDiagnostics.h"
#include "MiscDiagnostics.h"
#include "TypeCheckProtocol.h"
#include "TypeCheckType.h"
#include "TypoCorrection.h"
#include "swift/AST/ASTContext.h"
#include "swift/AST/ASTPrinter.h"
@@ -9313,7 +9314,9 @@ bool OutOfPlaceThenStmtFailure::diagnoseAsError() {
}
bool InvalidTypeSpecializationArity::diagnoseAsError() {
emitDiagnostic(diag::type_parameter_count_mismatch, D->getBaseIdentifier(),
NumParams, NumArgs, NumArgs < NumParams, HasParameterPack);
diagnoseInvalidGenericArguments(getLoc(), D,
NumArgs, NumParams,
HasParameterPack,
/*generic=*/nullptr);
return true;
}